Combined reasoning by automated cooperation (0)

by C Benzmüller, V Sorge, M Jamnik, M Kerber
Venue:Journal of Applied Logic