| 1999 |
|---|
| 7 | | Elena Marchiori,
Frank Teusink:
Termination of Logic Programs with Delay Declarations.
J. Log. Program. 39(1-3): 95-124 (1999) |
| 1996 |
|---|
| 6 | | Sandro Etalle,
Frank Teusink:
A Compositional Semantics for Normal Open Programs.
JICSLP 1996: 468-482 |
| 5 | EE | Frank Teusink:
Three-Valued Completion for Abductive Logic Programs.
Theor. Comput. Sci. 165(1): 171-200 (1996) |
| 1995 |
|---|
| 4 | | Elena Marchiori,
Frank Teusink:
Proving Termination of Logic Programs with Delay Declarations.
ILPS 1995: 447-461 |
| 1994 |
|---|
| 3 | | Frank Teusink:
Three-Valued Completion for Abductive Logic Programs.
ALP 1994: 150-167 |
| 1993 |
|---|
| 2 | | Frank Teusink:
A Proof Procedure for Extended Logic Programs.
ILPS 1993: 235-249 |
| 1 | | Frank Teusink:
A Characterization of Stable Models using a Non-Monotonic Operator.
LPNMR 1993: 206-222 |
