et al. Proof development with OMEGA (2002)

by J Siekmann
Venue:Proc. CADE-18, LNAI 2392