@inproceedings{Giaco96, author = {R. Giacobazzi}, title={``Optimal'' Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics}, booktitle = "Proc. 13th International Symposium on Theoretical Aspects of Computer Science (STACS'96)", year = {1996}, editor = {C. Puech and R. Reischuk}, series = {Lecture Notes in Computer Science}, volume = {1046}, pages = {503-514}, Publisher = {Springer-Verlag}}