Partial Deduction of the Ground Representation and its Application to Integrity Checking (1995)
by
Michael Leuschel
,
Bern Martens
| Venue: | Proceedings of ILPS'95, the International Logic Programming Symposium |
| Citations: | 19 - 12 self |
Document Versions
| Partial Deduction of the Ground Representation and its Application to Integrity Checking –Michael Leuschel, Bern Martens — 1995 — Proceedings of ILPS'95, the International Logic Programming Symposium |
