1. Unification in a Parallel Environment Taylor, Stephen; Tzoar, Daphne; Stolfo, Salvatore 1984 Reports Computer science