| Information and Computation
0890-5401 | 1994 | Dimopoulos, Yannis
Magirou, Vangelis | | A Graph Theoretic Approach to Default Logic
In: Information and Computation [112], 239-256 | |
| New Generation Computing
0288-3635 | 1998 | Werner, Andreas
Bockmayr, Alexander
Krischer, Stefan | | How to realize LSE narrowing
In: New Generation Computing [16], 397-434 | |
| New Generation Computing
0288-3635 | 1995 | Hanus, Michael | | Compile-Time Analysis of Nonlinear Constraints in CLP(R)
In: New Generation Computing [13], 155-186 | |
| Parallel Processing Letters |
| |