Stéphane Demri Diego Figueira M. Praveen 33-42 2013 LICS https://doi.org/10.1109/LICS.2013.8 https://doi.ieeecomputersociety.org/10.1109/LICS.2013.8 http://dl.acm.org/citation.cfm?id=2591427 conf/lics/2013 db/conf/lics/lics2013.html#DemriFP13