%0 Conference Paper %1 journals/corr/Reynolds16a %A Reynolds, Mark %B GandALF %D 2016 %E Cantone, Domenico %E Delzanno, Giorgio %K dblp %P 287-301 %T A New Rule for LTL Tableaux. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs226.html#Reynolds16a %V 226

@inproceedings{journals/corr/Reynolds16a, added-at = {2021-07-02T00:00:00.000+0200}, author = {Reynolds, Mark}, biburl = {https://www.bibsonomy.org/bibtex/2a3fe3d0a9885d3460486906d07359697/dblp}, booktitle = {GandALF}, crossref = {journals/corr/CantoneD16}, editor = {Cantone, Domenico and Delzanno, Giorgio}, ee = {http://arxiv.org/abs/1609.04102}, interhash = {90bd74c49598fd37519029e0500552e3}, intrahash = {a3fe3d0a9885d3460486906d07359697}, keywords = {dblp}, pages = {287-301}, series = {EPTCS}, timestamp = {2024-04-10T03:59:17.000+0200}, title = {A New Rule for LTL Tableaux.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs226.html#Reynolds16a}, volume = 226, year = 2016 }