Combined reasoning by automated cooperation

Christoph Benzm├╝ller, Volker Sorge, Mateja Jamnik, Manfred Kerber. Combined reasoning by automated cooperation. J. Applied Logic, 6(3):318-342, 2008. [doi]

Abstract

Abstract is missing.