The Refined Extension Principle for Semantics of Dynamic Logic Programming

José Júlio Alferes, Federico Banti, Antonio Brogi, João Leite,

URL	http://dx.doi.org/10.1007/s11225-005-0492-y
Journal	Studia Logica
Publisher	Universitat Politècnica de Catalunya
Volume	79
Number	1
URL	http://dx.doi.org/10.1007/s11225-005-0492-y
Journal	Studia Logica
Publisher	Universitat Politècnica de Catalunya
Volume	79
Number	1

Publication