A Methodology for Systematic Verification of OPS5-Based AI Applications.

G. Ravi Prakash Eswaran Subrahmanian Hosaker N. Mahabala A Methodology for Systematic Verification of OPS5-Based AI Applications. 3-8 1991 conf/ijcai/1991 IJCAI db/conf/ijcai/ijcai91.html#PrakashSM91