M.: A mechanization of strong Kleene logic for partial functions (1994)

by M Kerber, Kohlhase
Venue:In: Automated Deduction - CADE 12, LNAI