Basin, D. (1993). Workshop on Theorem Proving with Analytic Tableaux and Related Methods: Marseille, France, April 28 - 30, 1993. Max-Planck-Institut für Informatik.
Chicago-Zitierstil (17. Ausg.)Basin, David. Workshop on Theorem Proving with Analytic Tableaux and Related Methods: Marseille, France, April 28 - 30, 1993. Saarbrücken: Max-Planck-Institut für Informatik, 1993.
MLA-Zitierstil (9. Ausg.)Basin, David. Workshop on Theorem Proving with Analytic Tableaux and Related Methods: Marseille, France, April 28 - 30, 1993. Max-Planck-Institut für Informatik, 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.