Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, V. (2007). On unification for bounded distributive lattices. ACM Transactions on Computational Logic, 8(2), 12.1-12.28. doi:10.1145/1227839.1227844.