@Article{2-JNQ12,
 author = {Janicic, P. and Narboux, J. and Quaresma, P.},
 title = {The Area Method: a Recapitulation},
 journal = {Journal of Automated Reasoning},
 pages = {489--532},
 month = {Apr},
 year = {2012},
 note = {SJR Q1},
 doi = {10.1007/s10817-010-9209-7},
 x-international-audience = {Yes},
 x-language = {EN},
 url = {http://publis.icube.unistra.fr/2-JNQ12}
}