@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}
}
