Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, V. (2007). On unification in certain finitely generated varieties of algebras. In E. Contejean (Ed.), Proceedings of the 21th International Workshop on Unification (UNIF 2007) (pp. 1-5). [s.l.]: INRIA.