Anti-unification of Unordered Goals

Gonzague Yernaux, Wim VANHOOF

Research output: Contribution to conference › Paper › peer-review

11 Downloads (Pure)

1 results

Not started
Algorithmic equivalence by generalization-driven transformations of logic programs
Yernaux, G. & Vanhoof, W.
Project: PHD