@conference {DBLP:conf/iclp/MancarellaP88, title = {An Algebra of Logic Programs}, booktitle = {ICLP/SLP}, year = {1988}, pages = {1006-1023}, author = {Paolo Mancarella and Dino Pedreschi} }