A Distributed Unification Scheme for Systolic Logic Programs.

Hisao Tamaki

Browse the full ICPP paper archive.