"Hybrid Parallel Execution Model for Logic-Based Specification Languages"

Jeffrey J. P. Tsai, Bing Li (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics