The Refined Extension Principle for Semantics of Dynamic Logic Programming

José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite
January 2005
Cite DOI
Type
Journal article
Publication
Stud Logica

Add the full text or supplementary notes for the publication here using Markdown formatting.