%0 Journal Article %1 journals/logcom/BlackburnBBJ17 %A Blackburn, Patrick %A Bolander, Thomas %A Braüner, Torben %A Jørgensen, Klaus Frovin %D 2017 %J J. Log. Comput. %K dblp %N 1 %P 81-107 %T Completeness and termination for a Seligman-style tableau system. %U http://dblp.uni-trier.de/db/journals/logcom/logcom27.html#BlackburnBBJ17 %V 27

@article{journals/logcom/BlackburnBBJ17, added-at = {2020-09-05T00:00:00.000+0200}, author = {Blackburn, Patrick and Bolander, Thomas and Braüner, Torben and Jørgensen, Klaus Frovin}, biburl = {https://www.bibsonomy.org/bibtex/2f24005d491acbead674dca277ce1c2b0/dblp}, ee = {https://www.wikidata.org/entity/Q50355423}, interhash = {3433b649e53e7518f62cc623bd19c2ad}, intrahash = {f24005d491acbead674dca277ce1c2b0}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 1, pages = {81-107}, timestamp = {2020-09-09T13:35:54.000+0200}, title = {Completeness and termination for a Seligman-style tableau system.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom27.html#BlackburnBBJ17}, volume = 27, year = 2017 }