A New Declarative Semantics for Logic Languages.

Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi

Browse the full ICLP paper archive.