Modular Logic Programs on Finite Domains

Maurizio Gabbrielli, Roberto Giacobazzi, Danilo Montesi. Modular Logic Programs on Finite Domains. In Domenico SaccĂ , editor, 8th Italian Conference on Logic Programming, GULP 93, Gizzeria, Italy, June 15-18, 1993. pages 663-678, 1993.

Abstract

Abstract is missing.