Lee, S. J.; Jone, M. T. A Symbolic Logic Approach of Deriving Initial Neural Network Configurations for Supervised Classification. Comput. Inform. 2012, 14, 317-337.