Forgy, Charles L. OPS5 user's manual Computer Science Department OPS5 (Computer program language);Artificial intelligence. 1987-01-01
    https://kilthub.cmu.edu/articles/journal_contribution/OPS5_user_s_manual/6608090
10.1184/R1/6608090.v1