%0 Report %1 Pratt/1977/Two %A Pratt, Vaughan R. %D 1977 %K imported %T Two easy theories whose combination is hard

@techreport{Pratt/1977/Two, added-at = {2009-05-20T01:29:36.000+0200}, author = {Pratt, Vaughan R.}, biburl = {https://www.bibsonomy.org/bibtex/23d4539c97f139dcd0218bf0ed14b65e6/sriram0339}, description = {First cut database}, institution = {Massachussets Institute of Technology}, interhash = {5d4632183e64d1ec7368470562ad58fb}, intrahash = {3d4539c97f139dcd0218bf0ed14b65e6}, keywords = {imported}, month = {September}, timestamp = {2009-05-20T01:29:36.000+0200}, title = { Two easy theories whose combination is hard}, year = 1977 }