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

Research output: Contribution to conferencePaper

Filter
Participation in conference

Search results