@INCOLLECTION{Amato01,
  author = {Gianluca Amato},
  title = {Correct Answers for First Order Logic},
  booktitle = {Declarative Programming -- Selected Papers from AGP'00},
  publisher = elsevier,
  year = {2001},
  editor = {Agostino Dovier AND Maria Chiara Meo AND Andrea Omicini},
  volume = {48},
  series = entcs,
  pages = {45--64},
  month = jun,
  isbn = {044450916X},
  doi = {10.1016/S1571-0661(04)00149-5}
}