Viorica Sofronie-Stokkermans Carsten Ihlemann Automated Reasoning in Some Local Extensions of Ordered Structures. 1 2007 ISMVL http://dx.doi.org/10.1109/ISMVL.2007.10 conf/ismvl/2007 db/conf/ismvl/ismvl2007.html#Sofronie-StokkermansI07