Revision Programming = Logic Programming + Integrity Constraints.

V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski

Browse the full CSL paper archive.