APA stil citiranja

Baumgartner, P., Hähnle, R., & Posegga, J. (1995). Theorem proving with analytic tableaux and related methods: Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings. Berlin : New York: Springer.

Chicago stil citiranja

Baumgartner, Peter, Reiner Hähnle, and Joachim Posegga. Theorem proving with analytic tableaux and related methods: Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings. Berlin : New York: Springer, 1995.

MLA stil citiranja

Baumgartner, Peter, Reiner Hähnle, and Joachim Posegga. Theorem proving with analytic tableaux and related methods: Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings. Berlin : New York: Springer, 1995.