APA stil citiranja

Miglioli, P. (1996). Theorem proving with analytic tableaux and related methods: 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.

Chicago stil citiranja

Miglioli, P. Theorem proving with analytic tableaux and related methods: 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 stil citiranja

Miglioli, P. Theorem proving with analytic tableaux and related methods: 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.