Martin Homola. Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs. In João Alexandre Leite, Paolo Torroni, editors, Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers. Volume 3487 of Lecture Notes in Computer Science, pages 78-95, Springer, 2004. [doi]
Abstract is missing.