@article {IOPORT.01919668,
    author       = {Werner, Andreas and Bockmayr, Alexander and Krischer, Stefan},
    title        = {How to realize LSE narrowing.},
    year         = {1998},
    journal      = {New Generation Computing},
    volume       = {16},
    number       = {4},
    issn         = {0288-3635},
    pages        = {397-434},
    publisher    = {Ohmsha, Ltd., Tokyo; Springer-Verlag, Tokyo},
    doi          = {10.1007/BF03037431},
    abstract     = {Summary: Narrowing is a complete unification procedure for equational theories defined by canonical term rewriting systems. It is also the operational semantics of various logic and functional programming languages. We introduced the LSE narrowing strategy, which is complete for arbitrary canonical rewriting systems and optimal in the sense that two different LSE narrowing derivations cannot generate the same narrowing substitution. (Provider: Leibiger)},
    msc2010      = {D.1.6 (I.2.3)},
    identifier   = {01919668},
}