@ARTICLE{FO07,
  author = {Ferreira, Fernando and Oliva, Paulo},
  title = {Bounded functional interpretation and feasible analysis},
  journal = APAL,
  year = {2007},
  volume = {145},
  pages = {115--129},
  number = {2},
  keywords = {bib,cca},
  url = {http://dx.doi.org/10.1016/j.apal.2006.07.002}
}

{"_id":"FqQfLQe2TycLazo2F","bibbaseid":"ferreira-oliva-boundedfunctionalinterpretationandfeasibleanalysis-2007","authorIDs":[],"author_short":["Ferreira, F.","Oliva, P."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Ferreira"],"firstnames":["Fernando"],"suffixes":[]},{"propositions":[],"lastnames":["Oliva"],"firstnames":["Paulo"],"suffixes":[]}],"title":"Bounded functional interpretation and feasible analysis","year":"2007","volume":"145","pages":"115–129","number":"2","keywords":"bib,cca","url":"http://dx.doi.org/10.1016/j.apal.2006.07.002","bibtex":"@ARTICLE{FO07,\r\n author = {Ferreira, Fernando and Oliva, Paulo},\r\n title = {Bounded functional interpretation and feasible analysis},\r\n journal = APAL,\r\n year = {2007},\r\n volume = {145},\r\n pages = {115--129},\r\n number = {2},\r\n keywords = {bib,cca},\r\n url = {http://dx.doi.org/10.1016/j.apal.2006.07.002}\r\n}\r\n\r\n","author_short":["Ferreira, F.","Oliva, P."],"key":"FO07","id":"FO07","bibbaseid":"ferreira-oliva-boundedfunctionalinterpretationandfeasibleanalysis-2007","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/j.apal.2006.07.002"},"keyword":["bib","cca"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.657Z","downloads":0,"keywords":["bib","cca"],"search_terms":["bounded","functional","interpretation","feasible","analysis","ferreira","oliva"],"title":"Bounded functional interpretation and feasible analysis","year":2007,"dataSources":["t7rKiAbxugj4Agz8M"]}