Galmiche, D. (1997). Automated reasoning with analytic tableaux and related methods: International Conference, TABLEAUX '97, Pont-αa-Mousson, France, May 13-16, 1997 : proceedings. Berlin: Springer.
Παραπομπή Chicago StyleGalmiche, Didier. Automated Reasoning With Analytic Tableaux and Related Methods: International Conference, TABLEAUX '97, Pont-αa-Mousson, France, May 13-16, 1997 : Proceedings. Berlin: Springer, 1997.
Παραπομπή MLAGalmiche, Didier. Automated Reasoning With Analytic Tableaux and Related Methods: International Conference, TABLEAUX '97, Pont-αa-Mousson, France, May 13-16, 1997 : Proceedings. Berlin: Springer, 1997.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.