"A Logic Based Approach to the Static Analysis of Production Systems."

Jos de Bruijn, Martín Rezk (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics