"Combining Structural and Enumerative Techniques for the Validation of ..."

Rubén Carvajal-Schiaffino, Giorgio Delzanno, Giovanni Chiola (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics