-
1
-
2
-
3
-
4
Bottom-up procedure with top-down expectation for general logic program with integrity constraint
Veröffentlicht 1991Buch -
5
A correct top-down proof procedure for a general logic program with integrity constraints
Veröffentlicht 1992Buch -
6
-
7
-
8
An implementation of TMS in concurrent logic programming language preliminary report
Veröffentlicht 1990Buch -
9
An implementation of TMS in concurrent logic programming language preliminary report
Veröffentlicht 1990Buch