Title: Partial deduction of the ground representation and its application to integrity checking
Authors: Leuschel, Michael
Martens, Bern #
Issue Date: 1995
Host Document: International Logic Programming Symposium ILPS95 pages:495-509
Conference: International Logic Programming Symposium ILPS95
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.