@inproceedings{GM00, author = {R. Giacobazzi and I. Mastroeni}, title = {A characterization of symmetric semantics by domain complementation}, booktitle = {Proc. of the 2nd ACM International Conference on Principles and Practice of Declarative Programming (PPDP'00)}, publisher = {ACM-Press, NY}, pages = {115-126}, year = 2000}