"A Formalization of the Theorem of Existence of First-Order Most General ..."

Andréia B. Avelar et al. (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics