Daniel Kifer Johannes Gehrke Cristian Bucila Walker M. White How to quickly find a witness. 272-283 2003 conf/pods/2003 PODS http://doi.acm.org/10.1145/773153.773180 db/conf/pods/pods2003.html#KiferGBW03