Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann. Die Beweisentwicklungsumgebung Omega-MKRP. Inform., Forsch. Entwickl., 11(1):20-26, 1996.
@article{HuangKKMNRS96,
title = {Die Beweisentwicklungsumgebung Omega-MKRP},
author = {Xiaorong Huang and Manfred Kerber and Michael Kohlhase and Erica Melis and Dan Nesmith and Jörn Richts and Jörg H. Siekmann},
year = {1996},
researchr = {https://researchr.org/publication/HuangKKMNRS96},
cites = {0},
citedby = {0},
journal = {Inform., Forsch. Entwickl.},
volume = {11},
number = {1},
pages = {20-26},
}