The OPS83 report - Forgy, Charles L. (CMU-CS ;, 1984)