@inproceedings{AntoyTolmach99FLOPS
    ,author={S. Antoy and A. Tolmach}
    ,title={Typed Higher-order Narrowing without Higher-order Strategies}
    ,year={1999}
    ,month={11}
    ,address={Tsukuba, Japan}
    ,pages={335-350}
    ,publisher={Springer LNCS}
    ,doi={http://dx.doi.org/10.1007/10705424_22}
    ,volume={1722}
    ,booktitle={4th Fuji International Symposium on Functional
                and Logic Programming (FLOPS'99)}
    ,abstract={
      We describe a new approach to higher-order narrowing computations
      in a class of systems suitable for functional logic programming.
      Our approach is based on a translation of these systems
      into ordinary (first-order) rewrite systems and the subsequent
      application of conventional narrowing strategies.
      Our translation is an adaptation to narrowing of Warren's
      translation, but unlike similar previous work,
      we preserve static type information, which has a dramatic
      effect on the size of the narrowing space.
      Our approach supports sound, complete, and efficient
      higher-order narrowing computations in classes
      of systems larger than those previously proposed.}
}