@inproceedings{GR96b,
        AUTHOR = {R. Giacobazzi and F. Ranzato},
        TITLE = {Complementing logic program semantics},
        BOOKTITLE = {Proceedings of the 5th International Conference on
                  Algebraic and Logic Programming (ALP~'96)},
        YEAR = 1996,
        series = {Lecture Notes in Computer Science},
        pages = {238-253},
        volume = 1139,
        editor = {M. Hanus and M. {Rodr{\'{\i}}guez Artalejo}},
        Publisher = {Springer-Verlag}}