"Shortcut fusion rules for the derivation of circular and higher-order ..."

Alberto Pardo, João Paulo Fernandes, João Saraiva (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics