Proceedings of the Eleventh International Conference of Logic Programming, MIT Press Series in Logic Programming, 1994 (1994) |
- Carlson, B.; Carlsson, M.; and D. Diaz. Entailment (1994) Carlson, B.; Carlsson, M.; and D. Diaz. Entailment of Finite Domain Constraints"
- Gupta, G.; Hermenegildo, M.; Pontelli, E.; Santos- (1994) Gupta, G.; Hermenegildo, M.; Pontelli, E.; Santos-Costa, V. "ACE: And/Or-parallel Copying-based Execution of Logic Programs" pp93-110
|
|