BaumgartnerFurbachPelzer2007

Peter Baumgartner, Ulrich Furbach, Bjö Pelzer. Hyper Tableaux with Equality. In Proceedings, International Conference on Automated Deduction, Bremen, Germany, F. Pfenning (ed.), LNCS, 2007.

BibTex Reference

@InProceedings{BaumgartnerFurbachPelzer2007,
   Author = {Baumgartner, Peter and Furbach, Ulrich and Pelzer, Bjö},
   Title = {{Hyper Tableaux with Equality}},
   BookTitle = {Proceedings, International Conference on Automated        Deduction, Bremen, Germany},
   editor = {Pfenning, F.},
   Series = {LNCS},
   Publisher = {Springer},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)