Omega\Gamma mkrp -- a proof development environment (1994)

by X Huang, M Kerber, M Kohlhase, E Melis, D Nesmith, J Richts, J Siekmann
Venue:In Proc. of 12th International Conference on Automated Deduction