"Recursion and Iteration Support in USE Validator with AnATLyzer."

Jesús Sánchez Cuadrado (2015)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics