@inproceedings{DBLP:conf/agp/AlpuenteFMV97,
  author    = {Mar{\'{\i}}a Alpuente and
               Moreno Falaschi and
               Gin{\'{e}}s Moreno and
               Germ{\'{a}}n Vidal},
  title     = {Safe Folding/Unfolding with Conditional Narrowing},
  booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97,
               Grado, Italy, June 16-19, 1997},
  pages     = {347--358},
  year      = {1997},
  crossref  = {DBLP:conf/agp/1997},
  timestamp = {Thu, 02 Dec 2004 11:23:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/agp/AlpuenteFMV97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"zrWpCX9HSM5chpZoh","bibbaseid":"alpuente-falaschi-moreno-vidal-safefoldingunfoldingwithconditionalnarrowing-1997","downloads":0,"creationDate":"2018-11-28T11:21:44.156Z","title":"Safe Folding/Unfolding with Conditional Narrowing","author_short":["Alpuente, M.","Falaschi, M.","Moreno, G.","Vidal, G."],"year":1997,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/62/7042.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["María"],"propositions":[],"lastnames":["Alpuente"],"suffixes":[]},{"firstnames":["Moreno"],"propositions":[],"lastnames":["Falaschi"],"suffixes":[]},{"firstnames":["Ginés"],"propositions":[],"lastnames":["Moreno"],"suffixes":[]},{"firstnames":["Germán"],"propositions":[],"lastnames":["Vidal"],"suffixes":[]}],"title":"Safe Folding/Unfolding with Conditional Narrowing","booktitle":"1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997","pages":"347–358","year":"1997","crossref":"DBLP:conf/agp/1997","timestamp":"Thu, 02 Dec 2004 11:23:16 +0100","biburl":"https://dblp.org/rec/bib/conf/agp/AlpuenteFMV97","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/agp/AlpuenteFMV97,\n author = {Mar{\\'{\\i}}a Alpuente and\n Moreno Falaschi and\n Gin{\\'{e}}s Moreno and\n Germ{\\'{a}}n Vidal},\n title = {Safe Folding/Unfolding with Conditional Narrowing},\n booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97,\n Grado, Italy, June 16-19, 1997},\n pages = {347--358},\n year = {1997},\n crossref = {DBLP:conf/agp/1997},\n timestamp = {Thu, 02 Dec 2004 11:23:16 +0100},\n biburl = {https://dblp.org/rec/bib/conf/agp/AlpuenteFMV97},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Alpuente, M.","Falaschi, M.","Moreno, G.","Vidal, G."],"key":"DBLP:conf/agp/AlpuenteFMV97","id":"DBLP:conf/agp/AlpuenteFMV97","bibbaseid":"alpuente-falaschi-moreno-vidal-safefoldingunfoldingwithconditionalnarrowing-1997","role":"author","urls":{},"downloads":0},"search_terms":["safe","folding","unfolding","conditional","narrowing","alpuente","falaschi","moreno","vidal"],"keywords":[],"authorIDs":[],"dataSources":["t8AuNRdMCGZzSWrHF"]}