Overlapping Rules and Logic Variables in Functional Logic Programs .

Sergio Antoy Michael Hanus Overlapping Rules and Logic Variables in Functional Logic Programs . 87-101 2006 conf/iclp/2006 ICLP http://dx.doi.org/10.1007/11799573_9 db/conf/iclp/iclp2006.html#AntoyH06