TY - GEN AU - Kocsis,Zoltan A AU - Swan,Jerry TI - Genetic Programming SN - 1573-0670 PY - 2018/// PB - Journal of automated reasoning N1 - Publication Type: Journal Article UR - https://doi.org/10.1007/s10817-017-9409-5 ER -