Algebra of Logic Programming.

Silvija Seres, J. Michael Spivey, C. A. R. Hoare

Browse the full ICLP paper archive.