APA stil citiranja

Beckert, B. (2005). Automated reasoning with analytic tableaux and related methods: Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings. Berlin ; New York: Springer.

Chicago stil citiranja

Beckert, Bernhard. Automated reasoning with analytic tableaux and related methods: Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings. Berlin ; New York: Springer, 2005.

MLA stil citiranja

Beckert, Bernhard. Automated reasoning with analytic tableaux and related methods: Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings. Berlin ; New York: Springer, 2005.