Summary: 
An Implementation of Narrowing Strategies



Sergio Antoy Michael Hanus

antoy@cs.pdx.edu mh@informatik.uni-kiel.de


Bart Massey Frank Steiner

bart@cs.pdx.edu fst@informatik.uni-kiel.de


Department of Computer Science Institut f"ur Informatik
Portland State University Christian-Albrechts-Universit"a*
*t Kiel
P.O. Box 751, Portland, OR 97207 Olshausenstr. 40, D-24098 Kiel
U.S.A. Germany

Source: Antoy, Sergio - Department of Computer Science, Portland State University

Collections: Computer Technologies and Information Sciences