"Built-in Variant Generation and Unification, and Their Applications in ..."

Francisco Durán et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics