Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding. - Irina Makarenko; Christoph Benzmüller (KI, 2020)