Antonio Brogi, Roberto Gorrieri. Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language. In ICLP. pages 637-652, 1989.
@inproceedings{BrogiG89,
title = {Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language},
author = {Antonio Brogi and Roberto Gorrieri},
year = {1989},
tags = {semantics, modeling language, language modeling, operational semantics, logic},
researchr = {https://researchr.org/publication/BrogiG89},
cites = {0},
citedby = {0},
pages = {637-652},
booktitle = {ICLP},
}