1. Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: Dynamic logic programming. In: Procs. of KR 1998. Morgan Kaufmann, San Francisco (1998)
2. Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: Dynamic updates of non-monotonic knowledge bases. The Journal of Logic Programming 45(1-3), 43–70 (2000)
3. Apt, K.R., Bol, R.N.: Logic programming and negation: A survey. The Journal of Logic Programming 19&20, 9–72 (1994)
4. Buccafurri, F., Faber, W., Leone, N.: Disjunctive logic programs with inheritance. In: Procs. of ICLP 1999. MIT Press, Cambridge (1999)
5. DLV. The DLV project - a disjunctive datalog system (and more) (2000), Available at
http://www.dbai.tuwien.ac.at/proj/dlv/