"An Algorithm for Sophisticated Code Matching in Logic Programs."

Wim Vanhoof, François Degrave (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics