A tableau calculus for partial functions (1996)

by Manfred Kerber, Michael Kohlhase
Venue:in Annals of the Kurt-Gödel-Society