Sverker Nilsson Thu, 28 Sep 1995 00:21:15 +0100 (MET)
Will a random reduction order always terminate if there is any reduction order that will terminate? I am also interested in pointers into the litterature (preferrably by FTP). /Sverker
