S. J. Lee and M. T. Jone, “A Symbolic Logic Approach of Deriving Initial Neural Network Configurations for Supervised Classification”, Comput. Inform., vol. 14, no. 4, pp. 317–337, Jan. 2012.