Omega-MKRP: A Proof Development Environment.

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jrn Richts, Jrg H. Siekmann

Browse the full CADE paper archive.