Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language.

Antonio Brogi, Roberto Gorrieri

Browse the full ICLP paper archive.