Algebra of Logic Programming - Seres, S; Spivey, J; Hoare, C (Logic Programming: The 1999 International Conference‚ Las Cruces‚ New Mexico‚ USA‚ November 29 − December 4‚ 1999, 1999)