| |
| 1997 | ||
|---|---|---|
| 2 | Dexter Kozen, Kjartan Stefánsson: Computing the Newtonian Graph. J. Symb. Comput. 24(2): 125-136 (1997) | |
| 1994 | ||
| 1 | Kjartan Stefánsson: Systems of Set Constraints with Negative Constraints are NEXPTIME-Complete LICS 1994: 137-141 | |
| 1 | Dexter Kozen | [2] |