"Semantic Code Clones in Logic Programs."

Celine Dandois, Wim Vanhoof (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics