@UNPUBLISHED{Amato99,
  author = {Gianluca Amato},
  title = {Uniform Proofs and Fixpoint Semantics of Sequent Calculi},
  note = {Manuscript},
  year = {1999},
  url = {http://sci138.sci.unich.it/~amato/papers/uniform.ps.gz}
}