Title: Advances in Inductive Logic Programming / Edition 1, Author: L. De Raedt
Title: Cooperation in Heterogeneous Theorem Prover Networks / Edition 1, Author: Dirk Fuchs