@inproceedings{DBLP:conf/flops/IranzoL04,
  author    = {Pascual Juli{\'{a}}n Iranzo and
               Christian Villamizar Lamus},
  editor    = {Yukiyoshi Kameyama and
               Peter J. Stuckey},
  title     = {Analysing Definitional Trees: Looking for Determinism},
  booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
               2004, Nara, Japan, April 7-9, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2998},
  pages     = {55--69},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/978-3-540-24754-8\_6},
  doi       = {10.1007/978-3-540-24754-8\_6},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/flops/IranzoL04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"QamgFB6y7vEpCN54m","bibbaseid":"iranzo-lamus-analysingdefinitionaltreeslookingfordeterminism-2004","downloads":0,"creationDate":"2018-11-28T11:22:42.019Z","title":"Analysing Definitional Trees: Looking for Determinism","author_short":["Iranzo, P. J.","Lamus, C. V."],"year":2004,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/05/6066.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Pascual","Julián"],"propositions":[],"lastnames":["Iranzo"],"suffixes":[]},{"firstnames":["Christian","Villamizar"],"propositions":[],"lastnames":["Lamus"],"suffixes":[]}],"editor":[{"firstnames":["Yukiyoshi"],"propositions":[],"lastnames":["Kameyama"],"suffixes":[]},{"firstnames":["Peter","J."],"propositions":[],"lastnames":["Stuckey"],"suffixes":[]}],"title":"Analysing Definitional Trees: Looking for Determinism","booktitle":"Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings","series":"Lecture Notes in Computer Science","volume":"2998","pages":"55–69","publisher":"Springer","year":"2004","url":"https://doi.org/10.1007/978-3-540-24754-8_6","doi":"10.1007/978-3-540-24754-8_6","timestamp":"Tue, 14 May 2019 10:00:53 +0200","biburl":"https://dblp.org/rec/conf/flops/IranzoL04.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/flops/IranzoL04,\n author = {Pascual Juli{\\'{a}}n Iranzo and\n Christian Villamizar Lamus},\n editor = {Yukiyoshi Kameyama and\n Peter J. Stuckey},\n title = {Analysing Definitional Trees: Looking for Determinism},\n booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}\n 2004, Nara, Japan, April 7-9, 2004, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {2998},\n pages = {55--69},\n publisher = {Springer},\n year = {2004},\n url = {https://doi.org/10.1007/978-3-540-24754-8\\_6},\n doi = {10.1007/978-3-540-24754-8\\_6},\n timestamp = {Tue, 14 May 2019 10:00:53 +0200},\n biburl = {https://dblp.org/rec/conf/flops/IranzoL04.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Iranzo, P. J.","Lamus, C. V."],"editor_short":["Kameyama, Y.","Stuckey, P. J."],"key":"DBLP:conf/flops/IranzoL04","id":"DBLP:conf/flops/IranzoL04","bibbaseid":"iranzo-lamus-analysingdefinitionaltreeslookingfordeterminism-2004","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-24754-8_6"},"downloads":0},"search_terms":["analysing","definitional","trees","looking","determinism","iranzo","lamus"],"keywords":[],"authorIDs":[],"dataSources":["9YpLvLxSpfnHiTbRN"]}