IMPS: System description (1992)

by W M Farmer, J D Guttman
Venue:Automated Deduction–CADE-11, volume 607 of LNCS