"Effectively Checking the Finite Variant Property."

Santiago Escobar, José Meseguer, Ralf Sasse (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics