@MASTERSTHESIS{Amato96,
  author = {Gianluca Amato},
  title = {Propriet{\`a} del reticolo degli osservabili in programmazione logica},
  school = {Universit{\`a} di Pisa},
  year = {1996},
  month = jul,
  note = {In italian}
}