Partial Deduction of the Ground Representation and its Application to Integrity Checking (1995)

Cached

Download Links

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