On the parallel computational complexity of unification - Yasuura, Hiroto (Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report, 1983)