Generalizing Generalization: towards a framework for anti-unification problems in Logic Programming

Research output: Contribution to conferencePaper

Search results