Functional first order definability of LRTP

José Raymundo Marcial-Romero, José Antonio Hernández. Functional first order definability of LRTP. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, 14(48):28-40, 2010. [doi]

Abstract

Abstract is missing.