@Article{AntoyHanus2016FAOC,
author="Antoy, Sergio
and Hanus, Michael",
title="Transforming Boolean equalities into constraints",
journal="Formal Aspects of Computing",
year="2016",
pages="1--20",
issn="1433-299X",
doi="10.1007/s00165-016-0399-6",
url="http://dx.doi.org/10.1007/s00165-016-0399-6"
}