F. Calimeri, G. Ianni: "Template Programs for Disjunctive Logic Programming: An Operational Semantics"; Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-05-07; 2005; 27 pages.
http://publik.tuwien.ac.at/files/pub-inf_3532.pdf