Hiroto Yasuura On Parallel Computational Complexity of Unification. 235-243 1984 FGCS db/conf/fgcs/fgcs84.html#Yasuura84