A Comparative Study of Unification Algorithms For Or-Parallel Execution of Logic Languages.

Jim A. Crammond

Browse the full ICPP paper archive.