Document Versions

Algebra of logic programming –Silvija Seres — 1999 — International Conference on Logic Programming
The Algebra of Logic Programming –Silvija Seres — 2001
Algebra of Logic Programming –Silvija Seres, Michael Spivey, Tony Hoare — 1999 — International Conference on Logic Programming
Algebra of logic programming –Silvija Seres, Michael Spivey, Tony Hoare — 1999 — International Conference on Logic Programming