Alexander Steen, Max Wisniewski, Christoph Benzmüller. Going Polymorphic - TH1 Reasoning for Leo-III. In Thomas Eiter, David Sands, Geoff Sutcliffe, Andrei Voronkov, editors, IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017. Volume 1 of Kalpa Publications in Computing, pages 100-112, EasyChair, 2017. [doi]
@inproceedings{SteenWB17,
title = {Going Polymorphic - TH1 Reasoning for Leo-III},
author = {Alexander Steen and Max Wisniewski and Christoph Benzmüller},
year = {2017},
url = {http://www.easychair.org/publications/paper/346851},
researchr = {https://researchr.org/publication/SteenWB17},
cites = {0},
citedby = {0},
pages = {100-112},
booktitle = {IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017},
editor = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov},
volume = {1},
series = {Kalpa Publications in Computing},
publisher = {EasyChair},
}