Revision Programming = Logic Programming + Integrity Constraints.

V. Wiktor Marek Inna Pivkina Miroslaw Truszczynski Revision Programming = Logic Programming + Integrity Constraints. 73-89 1998 conf/csl/1998 CSL db/conf/csl/csl98.html#MarekPT98 http://dx.doi.org/10.1007/10703163_6