Media type: E-Article Title: Automated Deduction — CADE-12: Ω-MKRP: A proof development environment Contributor: Huang, Xiaorong; Kerber, Manfred; Kohlhase, Michael; Melis, Erica; Nesmith, Dan; Richts, Jörn; Siekmann, Jörg imprint: Springer Berlin Heidelberg, 1994 Published in: Automated Deduction — CADE-12 Language: Not determined DOI: 10.1007/3-540-58156-1_61 ISSN: 0302-9743; 1611-3349 Origination: Footnote: