Last update: Sun Oct 15 02:15:49 MDT 2017
@Article{Bockmayr:1995:NSA,
author = "Alexander Bockmayr and Stefan Krischer and Andreas
Werner",
title = "Narrowing Strategies for Arbitrary Canonical Rewrite
Systems",
journal = j-FUND-INFO,
volume = "24",
number = "1--2",
pages = "125--155",
month = apr,
year = "1995",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-1995-24126",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Sat Mar 5 16:53:18 MST 2016",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo1990.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}