"Self-Learned Formula Synthesis in Set Theory."

Chad E. Brown, Thibault Gauthier (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics