Benzmüller. Universal (meta-)logical Reasoning: Recent Successes. Elsevier BV, 2019, doi:10.1016/j.scico.2018.10.008.