by Alexander Steen, Max Wisniewski, Hans-Jörg Schurr, Christoph Benzmüller
Reference:
Capability Discovery for Automated Reasoning Systems (Alexander Steen, Max Wisniewski, Hans-Jörg Schurr, Christoph Benzmüller), In IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017 (Thomas Eiter, David Sands, Geoff Sutcliffe, Andrei Voronkov, eds.), EasyChair, Kalpa Publications in Computing, volume 1, 2017.
Bibtex Entry:
@inproceedings{W58,
Address = {Maun, Botswana},
Author = {Alexander Steen and Max Wisniewski and Hans-J{\"o}rg
Schurr and Christoph Benzm{\"u}ller},
Keywords = {own, LEO Prover, Higher Order Logic, Polymorphism,
Automated Reasoning},
title = {Capability Discovery for Automated Reasoning
Systems},
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},
series = {Kalpa Publications in Computing},
volume = 1,
publisher = {EasyChair},
year = 2017,
url = {http://www.easychair.org/publications/paper/346850},
}