Handbook of Automated ReasoningHandbook of Automated ReasoningVolume 2, 2001, Pages 2015-2114Chapter 28 - Model Elimination and Connection Tableau ProceduresAuthor links open overlay panelReinhold Letz, Gernot StenzShow moreOutlineShareCitehttps://doi.org/10.1016/B978-044450813-3/50030-8Get rights and contentFirst page previewClick to open first page previewView PDFRecommended articlesReferences (0)Cited by (0)View full textCopyright © 2001 Elsevier Science Publishers B.V. All rights reserved.