Basin, David Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-93-213.pdf (Any fulltext), 128MB
Posegga, J., & Schwind, C.(1993). Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille, France, 1993 (MPI-I-93-213). Saarbrücken: Max-Planck-Institut für Informatik.