Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems.

Floris Roelofsen, Luciano Serafini, Alessandro Cimatti

Browse the full ECAI paper archive.