| OCR Text |
Show 147 equational theories," Journal of ACM, Vol. 28, No. 2, April 1981 , pp. 233-264. 90. D.A. Plaisted, "Semantic confluence tests and completion methods," Tech. report, Department of Computer Science, University of Illinois, 1984, submitted, Department of Computer Science. 91. U. Pletat, G. Engels and H.D. Ehrich, "O perational semantics of algebraic specifications with conditional equation s," Proc 7th CAAP, 1981 . 92. G. Plotkin, "Building-in equational theories," in Machine intelligence 7, Edinburgh University Press, Edinburgh, 1972, pp. 73-90. 93. D. Prawitz, "An improved proof procedure," Theoria, Vol. 26, 1960, pp. 102-139. 94. P. Raulefs and J. Siekmann, Unification of idempotent functtons, Universitat Karlsruhe 95. U. Reddy, "Narrowing as the operational semantics of functional languages," Proc. of 1985 International symposium on Logic Programming, Boston, Mass., July 1985. 96. U. Reddy, "On the relationship between logic and functional Languages," in Logic programming: relations, functions, and equations, D. DeGroot and G. Lindstrom, eds., Prentice-Hall, New York, 1985. 97. E.M. Reingold, J. Nievergelt and N. Deo, Combinatorial algorithms: theory and practice, Prentice-Hall, New York, 1977. 98. G. Robinson and L. Was, "Paramodulation and theorem-proving in firstorder theories with equality," in Machine i nte/1 igence 4, B. Meltzer and D. Michie, eds., Edinburgh University Press, Edinburgh, 1969, pp. 135-150. 99. J.A. Robinson, "A machine oriented logic based on the resolution ," J. ACM, Vol. 12, No. 1, January 1965, pp. 23-41. 100. J.A. Robinson, "A review of automatic theorem-proving," Proc. of Symposia in Applied Math. Vol. X I X, Math. Aspects of Computer Science, American Math. Soc., 1967, pp. 1-18. 101 . J.A. Robinson and E.E. Sibert, "LOGLISP: motivation, design and implementation," in Logic programming, K.L. Clark and S.-A. Tarnlund, eds., Academic Press, New York, 1982, pp. 299-314. 102. J.A. Robinson and E. E. Sibert, "LOG LISP: an alternative to PROLOG," in Machine inte/1 igence 10, J.E. Hayes, D. Michie and Y-H Pao, eds., Halsted Press: a division of John Wiley & Sons, New York, 1982, pp. 399-419. 103. B.K. Rosen, "Tree-manipulation systems and Church-Rosser Theorems," JACM, Vol. 20, No. 1, 1973. 104. M. Sato and T. Sakurai, "QUTE: a functional language based on |
