@article{DBLP:journals/logcom/AlpuenteFIV03,
  author    = {Mar{\'{\i}}a Alpuente and
               Moreno Falaschi and
               Pascual Juli{\'{a}}n Iranzo and
               Germ{\'{a}}n Vidal},
  title     = {Uniform Lazy Narrowing},
  journal   = {J. Log. Comput.},
  volume    = {13},
  number    = {2},
  pages     = {287--312},
  year      = {2003},
  url       = {https://doi.org/10.1093/logcom/13.2.287},
  doi       = {10.1093/logcom/13.2.287},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/logcom/AlpuenteFIV03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"HerHtnAnij39kufY9","bibbaseid":"alpuente-falaschi-iranzo-vidal-uniformlazynarrowing-2003","downloads":0,"creationDate":"2018-11-28T11:22:42.021Z","title":"Uniform Lazy Narrowing","author_short":["Alpuente, M.","Falaschi, M.","Iranzo, P. J.","Vidal, G."],"year":2003,"bibtype":"article","biburl":"https://dblp.org/pid/05/6066.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["María"],"propositions":[],"lastnames":["Alpuente"],"suffixes":[]},{"firstnames":["Moreno"],"propositions":[],"lastnames":["Falaschi"],"suffixes":[]},{"firstnames":["Pascual","Julián"],"propositions":[],"lastnames":["Iranzo"],"suffixes":[]},{"firstnames":["Germán"],"propositions":[],"lastnames":["Vidal"],"suffixes":[]}],"title":"Uniform Lazy Narrowing","journal":"J. Log. Comput.","volume":"13","number":"2","pages":"287–312","year":"2003","url":"https://doi.org/10.1093/logcom/13.2.287","doi":"10.1093/logcom/13.2.287","timestamp":"Wed, 14 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/logcom/AlpuenteFIV03.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/logcom/AlpuenteFIV03,\n author = {Mar{\\'{\\i}}a Alpuente and\n Moreno Falaschi and\n Pascual Juli{\\'{a}}n Iranzo and\n Germ{\\'{a}}n Vidal},\n title = {Uniform Lazy Narrowing},\n journal = {J. Log. Comput.},\n volume = {13},\n number = {2},\n pages = {287--312},\n year = {2003},\n url = {https://doi.org/10.1093/logcom/13.2.287},\n doi = {10.1093/logcom/13.2.287},\n timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/logcom/AlpuenteFIV03.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Alpuente, M.","Falaschi, M.","Iranzo, P. J.","Vidal, G."],"key":"DBLP:journals/logcom/AlpuenteFIV03","id":"DBLP:journals/logcom/AlpuenteFIV03","bibbaseid":"alpuente-falaschi-iranzo-vidal-uniformlazynarrowing-2003","role":"author","urls":{"Paper":"https://doi.org/10.1093/logcom/13.2.287"},"downloads":0},"search_terms":["uniform","lazy","narrowing","alpuente","falaschi","iranzo","vidal"],"keywords":[],"authorIDs":[],"dataSources":["9YpLvLxSpfnHiTbRN"]}