G. Ravi Prakash, Eswaran Subrahmanian, Hosaker N. Mahabala. Verification of OPS5-Based AI Applications. In SCAI. pages 158-169, 1991.
@inproceedings{PrakashSM91, title = {Verification of OPS5-Based AI Applications}, author = {G. Ravi Prakash and Eswaran Subrahmanian and Hosaker N. Mahabala}, year = {1991}, researchr = {https://researchr.org/publication/PrakashSM91}, cites = {0}, citedby = {0}, pages = {158-169}, booktitle = {SCAI}, }