Search: Combined Reasoning By Automated Cooperation
2008
[1]Combined Reasoning by Automated Cooperation (Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber), In Journal of Applied Logic, volume 6, number 3, pp. 318-342, 2008. (Preprint: http://christoph-benzmueller.de/papers/J16.pdf) [bibtex] [doi]