An Algebraic Model of Parallel Execution of Logic Programs

Lennart Beckman, Rune Gustavsson, Annika Wrn

Browse the full LICS paper archive.