APA (7th ed.) Citation

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 Style (17th ed.) Citation

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 (9th ed.) Citation

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.