Hendrik Decker. On the Declarative, Operational and Procedural Semantics of Disjunctive Computational Theories. In DAISD. pages 149-173, 1991.
@inproceedings{Decker91:2, title = {On the Declarative, Operational and Procedural Semantics of Disjunctive Computational Theories}, author = {Hendrik Decker}, year = {1991}, tags = {semantics, operational semantics}, researchr = {https://researchr.org/publication/Decker91%3A2}, cites = {0}, citedby = {0}, pages = {149-173}, booktitle = {DAISD}, }