Obtaining First Solutions Faster in AND-OR Parallel Execution of Logic Programs

Vikram A. Saletore, Laxmikant V. Kalé. Obtaining First Solutions Faster in AND-OR Parallel Execution of Logic Programs. In NACLP. pages 390-406, 1989.

Bibliographies