%0 Journal Article %1 kray-sing %A Crary, Karl %C New York, NY, USA %D 2007 %I ACM %J ACM Trans. Comput. Logic %K imported %N 2 %P 8 %R http://doi.acm.org/10.1145/1227839.1227840 %T Sound and complete elimination of singleton kinds %V 8

@article{kray-sing, added-at = {2010-08-25T08:47:38.000+0200}, address = {{New York, NY, USA}}, author = {Crary, Karl}, biburl = {https://www.bibsonomy.org/bibtex/28cade00d106d711f4a7514125414e743/miguel.pagano}, doi = {{http://doi.acm.org/10.1145/1227839.1227840}}, interhash = {3f46770ce65d26699ccd7ca9d01f512d}, intrahash = {8cade00d106d711f4a7514125414e743}, issn = {{1529-3785}}, journal = {{ACM Trans. Comput. Logic}}, keywords = {imported}, number = {{2}}, pages = 8, printed = {{TT}}, publisher = {{ACM}}, timestamp = {2010-08-25T08:47:42.000+0200}, title = {{Sound and complete elimination of singleton kinds}}, volume = {{8}}, year = {{2007}} }