Ω-MKRP: A proof development environment

Huang, X., Kerber, M., Kohlhase, M., Melis, E., Nesmith, D., Richts, J., & Siekmann, J. (1994). Ω-MKRP: A proof development environment. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 814 LNAI, pp. 788–792). Springer Verlag. https://doi.org/10.1007/3-540-58156-1_61