@article{journals/aepia/RomeroH10, added-at = {2012-07-04T00:00:00.000+0200}, author = {Marcial-Romero, José Raymundo and Hernández, José Antonio}, biburl = {http://www.bibsonomy.org/bibtex/2eb6a2153990ef30085d4d5019df491ad/dblp}, ee = {http://erevista.aepia.org/index.php/ia/article/view/655}, interhash = {028b72d695bfbddc1ffc52bf55382be6}, intrahash = {eb6a2153990ef30085d4d5019df491ad}, journal = {Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial}, keywords = {dblp}, number = 48, pages = {28-40}, timestamp = {2012-07-04T00:00:00.000+0200}, title = {Functional first order definability of LRTP.}, url = {http://dblp.uni-trier.de/db/journals/aepia/aepia14.html#RomeroH10}, volume = 14, year = 2010 }