@ARTICLE{Weidenbach95d,
AUTHOR = {Weidenbach, Christoph},
TITLE = {First-Order Tableaux with Sorts},
JOURNAL = {Journal of the Interest Group in Pure and Applied Logics},
YEAR = {1995},
NUMBER = {6},
VOLUME = {3},
PAGES = {887--906},
}
Entry last modified by Uwe Brahm/MPII/DE, 03/12/2010