A Tableau Calculus for Partial Functions

Author: Manfred Kerber and Michael Kohlhase

Editor: