"Interoperating Logic Engines."

Paul Tarau, Arun K. Majumdar (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics