@PHDTHESIS{Amato00phd,
  author = {Gianluca Amato},
  title = {Sequent Calculi and Indexed Categories as a Foundation for Logic
        Programming},
  school = {Universit{\`a} di Pisa},
  year = {2001},
  address = {Dipartimento di Informatica},
  month = mar,
}