A characterization of symmetric semantics by domain complementation.

Roberto Giacobazzi, Isabella Mastroeni

Browse the full PPDP paper archive.