Algebra of logic programming (1999)

by S Seres, M Spivey, C A R Hoare
Venue:In Proceedings of ICLP’99, Las