Craig Damon Daniel Jackson Somesh Jha Checking Relational Specifications With Binary Decision Diagrams. 70-80 1996 SIGSOFT FSE http://doi.acm.org/10.1145/239098.239110 db/conf/sigsoft/fse96.html#DamonJJ96