P. Kefalas, T. Reynolds, “Controlling Search with meta-BRAVE”, Proc. ICLP'91 Workshop in Parallel Execution of Logic Programs, A. Beaumont and G. Gupta (Eds.), Springer-Verlag, LNCS 569, 1991.

Authors:

Appeared In:

Tags: