Revision Programs with Explicit Negation.

Yisong Wang, Mingyi Zhang

Browse the full ICTAC paper archive.