%0 Journal Article %1 journals/aml/Buning81 %A Büning, Hans Kleine %D 1981 %J Arch. Math. Log. %K dblp %N 1 %P 137-148 %T Some undecidable theories with monadic predicates and without equality. %U http://dblp.uni-trier.de/db/journals/aml/aml21.html#Buning81 %V 21

@article{journals/aml/Buning81, added-at = {2016-12-06T00:00:00.000+0100}, author = {Büning, Hans Kleine}, biburl = {https://www.bibsonomy.org/bibtex/2ba59943f317a0e6dd1178f7c79c8e28a/dblp}, ee = {http://dx.doi.org/10.1007/BF02011640}, interhash = {0ce196a2ed63a9e896219e8443516039}, intrahash = {ba59943f317a0e6dd1178f7c79c8e28a}, journal = {Arch. Math. Log.}, keywords = {dblp}, number = 1, pages = {137-148}, timestamp = {2016-12-08T11:34:50.000+0100}, title = {Some undecidable theories with monadic predicates and without equality.}, url = {http://dblp.uni-trier.de/db/journals/aml/aml21.html#Buning81}, volume = 21, year = 1981 }