Cliff B. Jones Partial Functions and Logics: A Warning. 65-67 1995 54 Inf. Process. Lett. 2 db/journals/ipl/ipl54.html#Jones95 http://dx.doi.org/10.1016/0020-0190(95)00042-B