@conference { kost16,
title = {Cyclic Proofs for Linear Temporal Logic},
booktitle = {Concepts of Proof in Mathematics, Philosophy, and Computer Science},
series = {Ontos Mathematical Logic},
volume = {6},
year = {2016},
publisher = {De Gruyter},
organization = {De Gruyter},
isbn = {978-1-5015-0262-0},
url = {http://www.iam.unibe.ch/ltgpub/2016/ks16.pdf},
author = {Ioannis Kokkinis and Thomas Studer},
editor = {Dieter Probst and Peter Schuster}
}