R. Ramesh Rakesh M. Verma Krishnaprasad Thirunarayan I. V. Ramakrishnan Term Matching on Parallel Computers. 213-228 1989 6 J. Log. Program. 3 db/journals/jlp/jlp6.html#RameschVKR89