Interoperating Logic Engines.

Paul Tarau, Arun K. Majumdar

Browse the full PADL paper archive.