The Area Method: a Recapitulation

JANIČIĆ, Predrag, NARBOUX, Julien et QUARESMA, Pedro, 2012. The Area Method: a Recapitulation: A Recapitulation. Journal of Automated Reasoning [en ligne]. avril 2012. Vol. 48, n° 4pp. 489-532. [Consultésans date]. DOI 10.1007/s10817-010-9209-7. Consulté de : https://link.springer.com/article/10.1007%2Fs10817-010-9209-71. .