Thomas Kramer Automated Analysis of Operators on State Tables: A Technique for Intelligent Search. 127-153 1986 2 J. Autom. Reasoning 2 db/journals/jar/jar2.html#Kramer86