Fingerprint
Dive into the research topics of 'Analyzing logic programs using "prop"-ositional logic programs and a magic wand'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Analyzing logic programs using "prop"-ositional logic programs and a magic wand
Michael Codish, Bart Demoen
Research output: Contribution to journal › Article › peer-review
36
Scopus
citations