@article{190791, author = {Thomas Kramer}, title = {Automated Analysis of Operators on State Tables: A Technique for Intelligent Search}, year = {1986}, month = {1986-01-01}, publisher = {Journal of Automated Methods & Management in Chemistry}, language = {en}, }