A tableau calculus for partial functions (1995)

by Manfred Kerber, Michael Kohlhase
Venue:in Annals of the Kurt-Godel-Society