W. Wernecke

Tableau Calculus for Order Sorted Logic

Peter H. Schmitt, Wolfgang Wernecke, P. Schmitt, 1990, Sorts and Types in Artificial Intelligence.