Xiaorong Huang Manfred Kerber Michael Kohlhase Erica Melis Dan Nesmith Jörn Richts Jörg H. Siekmann Omega-MKRP: A Proof Development Environment. 788-792 1994 conf/cade/1994 CADE db/conf/cade/cade94.html#HuangKKMNRS94 http://dx.doi.org/10.1007/3-540-58156-1_61