Associative Concurrent Evaluation of Logic Programs.

Katsuhiko Nakamura

Browse the full ICLP paper archive.