A Tableau Calculus for Partial Functions (1996)

by Manfred Kerber , Michael Kohlhase
Citations:6 - 5 self