An environment for automated reasoning about partial functions (1988)

by David A Basin
Venue:In Ninth International Conference on Automated Deduction