Anita Jindal Ross A. Overbeek Waldo C. Kabat Exploitation of Parallel Processing for Implementing High-Performance Deduction Systems. 23-38 1992 8 J. Autom. Reasoning 1 db/journals/jar/jar8.html#JindalOK92