@article{Antoy10JSC
    ,author={S. Antoy}
    ,title={Programming with Narrowing}
    ,journal      = {Journal of Symbolic Computation}
    ,number       = {5}
    ,pages        = {501-522}
    ,volume       = {45}
    ,doi          = {http://dx.doi.org/10.1016/j.jsc.2010.01.006}
    ,year={2010}
    ,month={May}
    ,abstract={
        Narrowing is a computation implemented by
        some declarative programming languages.
        Research in the last decade has produced significant results
        on the theory and foundation of narrowing,
        but little is published on the use of narrowing in programming.
        This paper introduces narrowing from a programmer viewpoint;
        shows, by means of examples, when, why and 
        how to use narrowing in a program; and discusses the impact
        of narrowing on software development activities such as
        design and maintenance.
        The examples are coded in the programming language Curry,
        which provides narrowing as a first class feature.
    }        
}