Detail

Publication date: 01/01/2004

Semantics for Dynamic Logic Programming: A Principle-Based Approach