"Reduction Under Substitution."

Jörg Endrullis, Roel C. de Vrijer (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics