Constructive negation by bottom-up computation of literal answers.

Javier lvez, Paqui Lucio, Fernando Orejas

Browse the full SAC paper archive.