Combined Reasoning by Automated Cooperation (2007)

by C Benzmuller, V Sorge, M Jamnik, M Kerber
Venue:Journal of Applied Logic