Title: Cooperation in Heterogeneous Theorem Prover Networks / Edition 1, Author: Dirk Fuchs
Title: Fuzzy Systems for Information Processing / Edition 1, Author: K. Asai