BRAVE: An OR-Parallel Dialect of Prolog and its Application to Artificial Intelligence.

T. J. Reynolds, Petros Kefalas

Browse the full LPAR paper archive.