A Tableau Calculus for Partial Functions
Autor: Manfred Kerber and Michael Kohlhase
Herausgeber: