C. T. H. Everaars, Bert Lisser. Coordination of a Parallel Proposition Solver. In Paolo Ciancarini, Alexander L. Wolf, editors, Coordination Languages and Models, Third International Conference, COORDINATION 99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings. Volume 1594 of Lecture Notes in Computer Science, pages 275-290, Springer, 1999. [doi]
Abstract is missing.