@mastersthesis{Makarenko2020,
author = {Makarenko, Irina},
year = {2020},
title = {Free Higher-Order Logic - Notion, Definition and Embedding in HOL},
type = {Masterarbeit},
url = "http://dx.doi.org/10.17169/refubium-41697",
}