Rolf Backofen. On the Decidability of Functional Uncertainty. In
ACL editor, 31st Annual Meeting of the Association for Computational Linguistics (ACL), June 22-26, Pages 201-208, Association for Computational Linguistics, Ohio State University Columbus, Ohio, USA, 1993. googleNote: A full version has appeared as Research Report RR-93-17.