Mary Sheeran Satnam Singh Gunnar Stålmarck Checking Safety Properties Using Induction and a SAT-Solver. 108-125 http://link.springer.de/link/service/series/0558/bibs/1954/19540108.htm 2000 conf/fmcad/2000 FMCAD db/conf/fmcad/fmcad2000.html#SheeranSS00