"Rewriting logic bibliography by topic: 1990-2011."

Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics