Xref: utzoo sci.logic:1294 comp.theory:2033
Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!nstn.ns.ca!news.cs.indiana.edu!samsung!uunet!mcsun!hp4nl!star.cs.vu.nl!erik
From: erik@cs.vu.nl (Erik Hamoen)
Newsgroups: sci.logic,comp.theory
Subject: Narrowing systems
Keywords: narrowing
Message-ID: <10042@star.cs.vu.nl>
Date: 23 May 91 13:21:47 GMT
Sender: news@cs.vu.nl
Lines: 19

Could anyone please mail me names and creation sites of narrowing
systems? There seem to be lots of term rewrite systems around, but only
few of them have a narrowing option.

I only know of four systems so far:
1. ERIL 1.6A (Brian Matthews)
2. RAP (H. Hussmann)
3. RITE (Alan Josephson and Nachum Dershowitz)
4. SLOG (Y. Holvoet)

En vous serrant la main,

Erik Hamoen
Vrije Universiteit Amsterdam
Faculteit der Wiskunde en Informatica
de Boelelaan 1081a
1081 HV Amsterdam
the Netherlands
tel. 205485302