## Higher-order narrowing with definitional trees (1996)

### Cached

### Download Links

- [www4.in.tum.de]
- [www4.informatik.tu-muenchen.de]
- [wwwbroy.informatik.tu-muenchen.de]
- [www4.informatik.tu-muenchen.de]
- [www.informatik.uni-kiel.de]
- [www.informatik.uni-kiel.de]
- [www.informatik.uni-kiel.de]
- [www4.informatik.tu-muenchen.de]
- [www.informatik.uni-kiel.de]
- [www.informatik.uni-kiel.de]
- DBLP

### Other Repositories/Bibliography

by
Michael Hanus
,
Christian Prehofer

Venue: | Neural Computation |

Citations: | 78 - 23 self |