1. McCulloch, W.S., Pitts, W.: A logical calculus of the ideas immanent in nervous activity. Bulletin of Mathematical Biophysics 5 (1943) 115-133
2. Pinkas, G.: Symmetric neural networks and logic satisfiability. Neural Computation 3 (1991) 282-291
3. McCarthy, J.: Epistemological challanges for connectionism. Behavioural and Brain Sciences 11 (1988) 44 Commentary to [12].
4. Bader, S., Hitzler, P.: Dimensions of neural-symbolic integration - a struc-tured survey. In: S. Artemov, H. Barringer, A. S. d’Avila Garcez, L. C. Lamb and J. Woods (eds).: We Will Show Them: Essays in Honour of Dov Gabbay, Volume 1. International Federation for Computational Logic, College Publica-tions (2005) 167-194
5. Ballard, D.H.: Parallel logic inference and energy minimization. In: Proceedings of the AAAI National Conference on Artificial Intelligence. (1986) 203 - 208