@inproceedings{DBLP:conf/flops/AntoyT99,
 author = {Sergio Antoy and
Andrew P. Tolmach},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/flops/AntoyT99.bib},
 booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
 doi = {10.1007/10705424_22},
 editor = {Aart Middeldorp and
Taisuke Sato},
 pages = {335--353},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 timestamp = {Tue, 14 May 2019 10:00:53 +0200},
 title = {Typed Higher-Order Narrowing without Higher-Order Strategies},
 url = {https://doi.org/10.1007/10705424_22},
 volume = {1722},
 year = {1999}
}