"Termination analysis and call graph construction for higher-order ..."

Damien Sereni (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics