"Exploiting the Hierarchical Structure of Rule-Based Specifications for ..."

Artur Boronat et al. (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics