Omega-MKRP: A Proof Development Environment
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
Omega-MKRP: A Proof Development Environment
CADE, 1994.

CADE 1994
Full names Links ISxN
	author        = "Xiaorong Huang and Manfred Kerber and Michael Kohlhase and Erica Melis and Dan Nesmith and Jörn Richts and Jörg H. Siekmann",
	booktitle     = "{Proceedings of the 12th International Conference on Automated Deduction}",
	doi           = "10.1007/3-540-58156-1_61",
	isbn          = "3-540-58156-1",
	pages         = "788--792",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Omega-MKRP: A Proof Development Environment}",
	volume        = 814,
	year          = 1994,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.