Thayer Fábrega. imps: An updated system description (1996)

by W M Farmer, J D Guttman, F J
Venue:Automated Deduction—CADE13, volume 1104 of Lecture Notes in Computer Science