A Methodology for Systematic Verification of OPS5-Based AI Applications. - G. Ravi Prakash; Eswaran Subrahmanian; Hosaker N. Mahabala (IJCAI, 1991)

Verification of OPS5-Based AI Applications. - G. Ravi Prakash; Eswaran Subrahmanian; Hosaker N. Mahabala (SCAI, 1991)