1. Rules of Mind;Anderson,1993
2. Solution of the four color map problem;Appel;Scientific American,1977
3. Connectionist model generation: a first-order approach;Baader;Neurocomputing,2008
4. The Description Logic Handbook: Theory, Implementation and Applications;Bader,2003
5. Deduction: Automated Logic;Bibel,1993