Francesco Calimeri Giovambattista Ianni Template programs for Disjunctive Logic Programming: An operational semantics. 193-206 2006 19 AI Commun. 3 http://iospress.metapress.com/openurl.asp?genre=article&issn=0921-7126&volume=19&issue=3&spage=193 db/journals/aicom/aicom19.html#CalimeriI06