Bruno Pagano X.R.S : Explicit Reduction Systems - A First-Order Calculus for Higher-Order Calculi. 72-87 1998 conf/cade/1998 CADE db/conf/cade/cade98.html#Pagano98 http://link.springer.de/link/service/series/0558/bibs/1421/14210072.htm