An approach to parallel unification using transputers - Jochen Hager; Martin Moser 002 (Forschungsberichte, TU Munich, 1989)