Cooperation of Heterogeneous Provers .

Jrg Denzinger, Dirk Fuchs

Browse the full IJCAI paper archive.