#### DMCA

## An Implementation of Narrowing Strategies (2001)

### Cached

### Download Links

- [www.cs.pdx.edu]
- [www.informatik.uni-kiel.de]
- [www.informatik.uni-kiel.de]
- [www.informatik.uni-kiel.de]
- [www.informatik.uni-kiel.de]
- [www.informatik.uni-kiel.de]
- [www.informatik.uni-kiel.de]
- [www.cs.pdx.edu]
- [www.cs.pdx.edu]
- [www.cs.pdx.edu]
- [www.cs.pdx.edu]
- [ftp.mpi-sb.mpg.de]
- [ftp.cs.pdx.edu]
- [www.informatik.uni-kiel.de]
- [www.informatik.uni-kiel.de]
- [www.informatik.uni-kiel.de]
- [www.informatik.uni-kiel.de]
- [www.informatik.uni-kiel.de]
- [www.informatik.uni-kiel.de]
- [www.cs.pdx.edu]
- [www.informatik.uni-kiel.de]
- [web.cecs.pdx.edu]
- [www.cs.pdx.edu]
- [web.cecs.pdx.edu]
- [web.cecs.pdx.edu]
- [www.cs.pdx.edu]
- [web.cecs.pdx.edu]
- DBLP

### Other Repositories/Bibliography

by
Sergio Antoy
,
Michael Hanus
,
Bart Massey
,
Frank Steiner

Venue: | Journal of the ACM |

Citations: | 302 - 116 self |