Algebra of logic programming (1999)

by Silvija Seres
Venue:International Conference on Logic Programming