Semantics for Dynamic Logic Programming: A Principle-Based Approach.

Jos Jlio Alferes, Federico Banti, Antonio Brogi, Joo Alexandre Leite

Browse the full LPNMR paper archive.