Lee, S.J. and Jone, M.T. 2012. A Symbolic Logic Approach of Deriving Initial Neural Network Configurations for Supervised Classification. Computing and Informatics. 14, 4 (Jan. 2012), 317–337.