Michael Hanus Call pattern analysis for functional logic programs. 67-78 2008 PPDP http://doi.acm.org/10.1145/1389449.1389459 conf/ppdp/2008 db/conf/ppdp/ppdp2008.html#Hanus08