Automated reasoning with analytic tableaux and related methods : 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007: proceedings / ed. N. Olivetti, 2007 r=on-line. - Текст : электронный.