Goos, G.G.GoosHartmanis, J.J.HartmanisBarstow, D.D.BarstowBrauer, W.W.BrauerHansen, P. BrinchP. BrinchHansenGries, D.D.GriesLuckham, D.D.LuckhamMoler, C.C.MolerPnueli, A.A.PnueliSeegmüller, G.G.SeegmüllerStoer, J.J.StoerWirth, N.N.Wirth2009-02-032018-07-052009-02-032018-07-051985-12http://ntur.lib.ntu.edu.tw//handle/246246/118738en-USTwo Results in Term Rewriting Theorem Provingconference paper