%0 Journal Article %1 journals/ndjfl/Schmerl95 %A Schmerl, James H. %D 1995 %J Notre Dame J. Formal Log. %K dblp %N 4 %P 560-569 %T PA(aa). %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl36.html#Schmerl95 %V 36

@article{journals/ndjfl/Schmerl95, added-at = {2020-05-21T00:00:00.000+0200}, author = {Schmerl, James H.}, biburl = {https://www.bibsonomy.org/bibtex/298fbf60f0cf44ce39d3c306cc3c7b7a6/dblp}, ee = {https://doi.org/10.1305/ndjfl/1040136916}, interhash = {0647cc22c2cc3ac6272acc0dfad045b1}, intrahash = {98fbf60f0cf44ce39d3c306cc3c7b7a6}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 4, pages = {560-569}, timestamp = {2020-05-23T12:16:04.000+0200}, title = {PA(aa).}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl36.html#Schmerl95}, volume = 36, year = 1995 }