@inproceedings{SusanaPRODE98,
  author = {Moreno-Navarro, Juan Jos{\'e} and Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana},
  title = {On the Practical Use of Negation in a {P}rolog Compiler},
  booktitle = {Joint Conference on Declarative Programming},
  editor = {J.L. {Freire-Nistal}, M. Falaschi, M. {Vilares-Ferro}},
  year = {1998},
  optorganization = {APPIA, GULP, PRODE (AGP'98)},
  address = {A Coru{\~{n}}a (Spain)},
  pages = {457--469}
}
@inproceedings{sequentia,
  author = {Julio Mari{\~{n}}o and Juan Jos{\'{e}} {Moreno-Navarro}},
  title = {Recovering Sequentiality in Functional Logic Programs},
  booktitle = {APPIA-GULP-PRODE'98},
  optcrossref = {},
  optkey = {},
  optpages = {},
  year = {1998},
  editor = {Vilares-Ferro},
  optvolume = {},
  optnumber = {},
  optseries = {},
  optaddress = {},
  optmonth = {},
  optorganization = {},
  publisher = {Universidad de {L}a {C}oru{\~{n}}a},
  optnote = {},
  optannote = {}
}
@inproceedings{wflp98sloth,
  author = {Julio Mari{\~{n}}o and Jos{\'{e}} Mar{\'{i}}a Rey},
  title = {The Implementation of {C}urry via its Translation into
                  {P}rolog},
  booktitle = {7th Workshop on Functional and Logic Programming (WFLP98)},
  year = 1998,
  editor = {Kuchen},
  number = 63,
  series = {Working Papers},
  publisher = {Westf{\"{a}}lische Wilhelms-Universit{\"{a}}t M{\"{u}}nster}
}
@inproceedings{lipton:mcgrail:1998:plilp,
  author = {James Lipton and Robert McGrail},
  title = {Encapsulating Data in Logic Programming via Categorial
                  Constraints},
  booktitle = {PLILP'98/ALP'98: Proceedings of the 10th International
                  Symposium on Principles of Declarative Programming},
  year = {1998},
  isbn = {3-540-65012-1},
  pages = {391--410},
  publisher = {Springer-Verlag},
  address = {London, UK}
}

This file was generated by bibtex2html 1.98.