SpringerLink (Online service), Larchey-Wendling, D., & Galmiche, D. (2013). Automated reasoning with analytic tableaux and related methods: 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings. Springer Berlin Heidelberg.
Chicago Style (17. basım) AtıfSpringerLink (Online service), Dominique Larchey-Wendling, ve Didier Galmiche. Automated Reasoning with Analytic Tableaux and Related Methods: 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
MLA (8th ed.) AtıfSpringerLink (Online service), et al. Automated Reasoning with Analytic Tableaux and Related Methods: 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings. Springer Berlin Heidelberg, 2013.