id: 04062644
dt: j
an: 04062644
au: Dwork, Cynthia; Kanellakis, Paris C.; Stockmeyer, Larry
ti: Parallel algorithms for term matching.
so: SIAM J. Comput. 17, No.4, 711-731 (1988).
py: 1988
pu: Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA
la: EN
cc: 
ut: randomized parallel algorithm; term matching; directed graph reachability;
    directed acyclic graphs; unification; logic programming
ci: Zbl 0588.68045; Zbl 0643.68134
li: doi:10.1137/0217046
ab: Cf. the review of the preliminary version, Lect. Notes Comput. Sci. 230,
    416-430 (1986; Zbl 0643.68134).
rv: