A Generic Proof Checker. Watson & N, G. Ph.D. Thesis, The University of Queensland, Queensland, Australia, 2002.
bibtex   
@phdthesis{ watson2002,
  author = {Watson, Geoffrey N},
  title = {{A Generic Proof Checker}},
  school = {The University of Queensland},
  year = {2002},
  address = {Queensland, Australia},
  keywords = {#proof_theory},
  mendeley-tags = {#proof_theory}
}

Downloads: 0