%0 Journal Article %1 journals/rsl/HorstenLLW12 %A Horsten, Leon %A Leigh, Graham E. %A Leitgeb, Hannes %A Welch, Philip D. %D 2012 %J Rev. Symb. Log. %K dblp %N 4 %P 642-664 %T Revision Revisited. %U http://dblp.uni-trier.de/db/journals/rsl/rsl5.html#HorstenLLW12 %V 5

@article{journals/rsl/HorstenLLW12, added-at = {2019-08-20T00:00:00.000+0200}, author = {Horsten, Leon and Leigh, Graham E. and Leitgeb, Hannes and Welch, Philip D.}, biburl = {https://www.bibsonomy.org/bibtex/24d40437452112b77e0a37d10868aad63/dblp}, ee = {https://doi.org/10.1017/S175502031100030X}, interhash = {e165ea37e0c2d1d4cf8fad2459940547}, intrahash = {4d40437452112b77e0a37d10868aad63}, journal = {Rev. Symb. Log.}, keywords = {dblp}, number = 4, pages = {642-664}, timestamp = {2019-08-21T11:41:09.000+0200}, title = {Revision Revisited.}, url = {http://dblp.uni-trier.de/db/journals/rsl/rsl5.html#HorstenLLW12}, volume = 5, year = 2012 }