Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, V. (2000). On unification for bounded distributive lattices. In D. McAllester (Ed.), Proceedings of the 17th International Conference on Automated Deduction (CADE-17) (pp. 465-481). Berlin, Germany: Springer.