@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, }