Publications on DLP:
J. J. Alferes, J. A. Leite , L. M. Pereira,
H. Przymusinska and T. C. Przymusinski, Dynamic Logic Programming, In A. Cohn,
L. Schubert and S. Shapiro (eds.), Procs. of the Sixth
International Conference on Principles of Knowledge
Representation and Reasoning (KR'98), Trento, Italy,
pages 98-109, Morgan Kaufmann, June 1998
J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska
and T. C. Przymusinski, Dynamic Updates of Non-Monotonic Knowledge
Bases, The Journal of Logic Programming 45(1-3):
43-70, September/October 2000.