Weidenbach, Christoph Programming Logics, MPI for Informatics, Max Planck Society;
Weidenbach, C. (1994). Sorts, Resolution, Tableaux and Propositional Logic. In J. Kunze, & H. Stoyan (Eds.), KI-94 Workshops: Extended Abstracts (pp. 315-316). Bonn, Germany: Gesellschaft für Informatik.