Searching Semantically Equivalent Code Fragments in Logic Programs.

Wim Vanhoof Searching Semantically Equivalent Code Fragments in Logic Programs. 1-18 2004 conf/lopstr/2004 LOPSTR http://dx.doi.org/10.1007/11506676_1 db/conf/lopstr/lopstr2004.html#Vanhoof04