1986'

@proceedings{DBLP:conf/flfp/1986,
  editor    = {Mauro Boscarol and
               Luigia Carlucci Aiello and
               Giorgio Levi},
  title     = {Foundations of Logic and Functional Programming, Workshop,
               Trento, Italy, December 15-19, 1986, Proceedings},
  booktitle = {Foundations of Logic and Functional Programming},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {306},
  year      = {1988},
  isbn      = {3-540-19129-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}