| |
| 1994 | ||
|---|---|---|
| 2 | Aart Middeldorp, Erik Hamoen: Completness Results for Basic Narrowing. Appl. Algebra Eng. Commun. Comput. 5: 213-253 (1994) | |
| 1992 | ||
| 1 | Aart Middeldorp, Erik Hamoen: Counterexamples to Completeness Results for Basic Narrowing (Extended Abstract). ALP 1992: 244-258 | |
| 1 | Aart Middeldorp | [1] [2] |