@inproceedings{BM8d,
title = { Extending Constraint-Only Representation of Polyhedra with Boolean Constraints },
author = {Bakhirkin, Alexey and Monniaux, David},
year = {2018},
booktitle = {Static analysis (SAS)},
pages = {127--145},
team = {PACSS},
entrysubtype = {intc},
}
