Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
Ihlemann, Carsten Automation of Logic, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, V., & Ihlemann, C. (2007). Automated reasoning in some local extensions of ordered structures. Journal of Multiple-Valued Logic and Soft Computing, 13(4-6), 397-414.