APA (7th ed.) Citation

TABLEAUX '96 Terrasini, Italy, SpringerLink (Online service), & Miglioli, P. (1996). Theorem proving with analytic tableaux and related methods: 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings. Springer.

Chicago Style (17th ed.) Citation

TABLEAUX '96 Terrasini, Italy, SpringerLink (Online service), and P. Miglioli. Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : Proceedings. Berlin ; New York: Springer, 1996.

MLA (9th ed.) Citation

TABLEAUX '96 Terrasini, Italy, et al. Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : Proceedings. Springer, 1996.