APA stil citiranja

Cialdea Mayer, M., & Pirri, F. (2003). Automated reasoning with analytic tableaux and related methods: Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings. Berlin ; New York: Springer.

Chicago stil citiranja

Cialdea Mayer, Marta, and Fiora Pirri. Automated reasoning with analytic tableaux and related methods: Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings. Berlin ; New York: Springer, 2003.

MLA stil citiranja

Cialdea Mayer, Marta, and Fiora Pirri. Automated reasoning with analytic tableaux and related methods: Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings. Berlin ; New York: Springer, 2003.