Algebra of Logic Programming
Silvija Seres‚ J. Michael Spivey and C. A. R. Hoare
Book Title
Logic Programming: The 1999 International Conference‚ Las Cruces‚ New Mexico‚ USA‚ November 29 − December 4‚ 1999
Editor
Danny De Schreye
Pages
184−199
Publisher
MIT Press
Year
1999