Analysing logic programs using “prop”-ositional logic programs and a magic wand

,1999, 引用: 40

international conference on logic programming,1994, 引用: 23

logic based program synthesis and transformation,2004, 引用: 21

international symposium on programming language implementation and logic programming,1994, 引用: 2

Selected Papers from Constraint Programming: Basics and Trends,1994, 引用: 0

static analysis symposium,1994, 引用: 41

CDB '97 Second International Workshop on Constraint Database Systems, Constraint Databases and Their Applications,1997, 引用: 7

Lecture Notes in Computer Science,1995, 引用: 3

static analysis symposium,1994, 引用: 50

Theoretical Computer Science,1994, 引用: 1