Edmund M. Clarke Orna Grumberg Kenneth L. McMillan Xudong Zhao 0005 Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking. 427-432 1995 conf/dac/1995 DAC https://doi.org/10.1145/217474.217565 https://www.wikidata.org/entity/Q131136628 db/conf/dac/dac95.html#ClarkeGMZ95