M.  Komosinski and Kups, A., ?Evolutionary construction of derivations in classical propositional logic using a symbolic-connectionist representation?, Poznan University of Technology, Institute of Computing Science, RA?3/17, 2017.