Suk I. Yoo, Chang H. Park. An Inference Browser to Verify Knowledge Bases. In ICTAI. pages 466-467, 1993.
@inproceedings{YooP93, title = {An Inference Browser to Verify Knowledge Bases}, author = {Suk I. Yoo and Chang H. Park}, year = {1993}, researchr = {https://researchr.org/publication/YooP93}, cites = {0}, citedby = {0}, pages = {466-467}, booktitle = {ICTAI}, }