The Optimal Model of a Program with Negation.

Jean-Paul Delahaye, V. Thibau

Browse the full JELIA paper archive.