"Proving VLRL Action Properties with the Maude Model Checker."

Miguel Palomino, Isabel Pita (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics