|ITEM METADATA RECORD
|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|
|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.