- Maurizio Gabbrielli, Giorgio Levi, and Maria Chiara Meo. Observable behaviors and
equivalences of logic programs. Information and
Computation, 122(1):1-29, October 1995.
Abstract,
References,
and Citations.
- Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, and Catuscia
Palamidessi. Constraint
logic programming with dynamic scheduling: A semantics based on closure
operators. Information and Computation, 137(1):41-67,
25 August 1997.
Abstract,
References,
and Citations.
Shortcuts: