Algebra of logic programming (1999)

by Silvija Seres , Michael Spivey , Tony Hoare
Venue:International Conference on Logic Programming
Citations:20 - 3 self