Handbook of Automated ReasoningHandbook of Automated ReasoningVolume 1, 2001, Pages 913-962Chapter 14 - Inductionless InductionAuthor links open overlay panelHubert ComonShow moreOutlineShareCitehttps://doi.org/10.1016/B978-044450813-3/50016-3Get 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.