%0 Journal Article %1 journals/aml/Petersen03 %A Petersen, Uwe %D 2003 %J Arch. Math. Log. %K dblp %N 7 %P 665-694 %T L i D Z lambda as a basis for PRA. %U http://dblp.uni-trier.de/db/journals/aml/aml42.html#Petersen03 %V 42

@article{journals/aml/Petersen03, added-at = {2004-10-25T00:00:00.000+0200}, author = {Petersen, Uwe}, biburl = {https://www.bibsonomy.org/bibtex/214fb126b430ed176adf4139aa295df9a/dblp}, date = {2004-10-25}, description = {dblp}, ee = {http://dx.doi.org/10.1007/s00153-003-0175-1}, interhash = {873f879929af3804710216333d86484c}, intrahash = {14fb126b430ed176adf4139aa295df9a}, journal = {Arch. Math. Log.}, keywords = {dblp}, number = 7, pages = {665-694}, timestamp = {2004-10-25T00:00:00.000+0200}, title = {L i D Z lambda as a basis for PRA.}, url = {http://dblp.uni-trier.de/db/journals/aml/aml42.html#Petersen03}, volume = 42, year = 2003 }