%0 Journal Article %1 journals/sigact/Palopoli90 %A Palopoli, Luigi %D 1990 %J SIGACT News %K dblp %N 4 %P 69-72 %T A new proof of undecidability of safety of logic queries. %U http://dblp.uni-trier.de/db/journals/sigact/sigact21.html#Palopoli90 %V 21

@article{journals/sigact/Palopoli90, added-at = {2022-07-18T00:00:00.000+0200}, author = {Palopoli, Luigi}, biburl = {https://www.bibsonomy.org/bibtex/205f270f2cd2b6a411d60da07dbab81c3/dblp}, ee = {https://doi.org/10.1145/101371.101373}, interhash = {1347e53471c696ea4d22ca4f9c502039}, intrahash = {05f270f2cd2b6a411d60da07dbab81c3}, journal = {SIGACT News}, keywords = {dblp}, number = 4, pages = {69-72}, timestamp = {2024-04-09T03:13:32.000+0200}, title = {A new proof of undecidability of safety of logic queries.}, url = {http://dblp.uni-trier.de/db/journals/sigact/sigact21.html#Palopoli90}, volume = 21, year = 1990 }