Title: Analysing logic programs using propositional logic programs and a magic wand
Authors: Codish, Michael ×
Demoen, Bart #
Issue Date: 1993
Host Document: 1993 International Logic Programming Symposium pages:114-129
Conference: 1993 International Logic Programming Symposium location:Vancouver, Canada
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× corresponding author
# (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.

© Web of science