The Area Method: a Recapitulation

Onglets principaux

Janičić, P., Narboux, J., & Quaresma, P. (2012). The Area Method: a Recapitulation: A Recapitulation. Journal Of Automated Reasoning, 48(4), 489-532. doi:10.1007/s10817-010-9209-7