%0 Journal Article %1 journals/ndjfl/AtkinsonP10 %A Atkinson, David %A Peijnenburg, Jeanne %D 2010 %J Notre Dame J. Formal Log. %K dblp %N 4 %P 407-416 %T Justification by Infinite Loops. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl51.html#AtkinsonP10 %V 51

@article{journals/ndjfl/AtkinsonP10, added-at = {2020-05-21T00:00:00.000+0200}, author = {Atkinson, David and Peijnenburg, Jeanne}, biburl = {https://www.bibsonomy.org/bibtex/2126c06e38cd6d6a492f5caa1e3bdcc42/dblp}, ee = {https://doi.org/10.1215/00294527-2010-025}, interhash = {97fa04bcbdaf310552a328de07a77dd2}, intrahash = {126c06e38cd6d6a492f5caa1e3bdcc42}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 4, pages = {407-416}, timestamp = {2020-05-23T12:18:43.000+0200}, title = {Justification by Infinite Loops.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl51.html#AtkinsonP10}, volume = 51, year = 2010 }