Algorithmic equivalence by generalization-driven transformations of logic programs

Project: PHD

Search results