TY - JOUR AU - Thomas Kramer C2 - Journal of Automated Methods & Management in Chemistry DA - 1986-01-01 LA - en PB - Journal of Automated Methods & Management in Chemistry PY - 1986 TI - Automated Analysis of Operators on State Tables: A Technique for Intelligent Search ER -