by David M. Cerna, Michael Peter Lettmann
Reference:
Clausal Analysis of First-order Proof SchemataDavid M. Cerna, Michael Peter LettmannCoRR, volume abs/1702.02589, 2017.
Bibtex Entry:
@article{DBLP:journals/corr/CernaL17,
author = {David M. Cerna and
Michael Peter Lettmann},
title = {Clausal Analysis of First-order Proof Schemata},
journal = {CoRR},
volume = {abs/1702.02589},
year = {2017},
url = {http://arxiv.org/abs/1702.02589},
archivePrefix = {arXiv},
eprint = {1702.02589},
timestamp = {Wed, 07 Jun 2017 14:43:02 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/CernaL17},
bibsource = {dblp computer science bibliography, https://dblp.org}
}