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. In Proceedings of the 37th International Symposium on Multiple-Valued Logic (ISMVL'07) (pp. p.1.1-6). Los Alamitos, CA, USA: IEEE Computer Society.