Ph.D. thesis: Checking the validity of quantifier-free formulas in combinations of first-order theories

Clark Barrett

Research output: Book/ReportOther report

Original languageEnglish (US)
PublisherStandford University
StatePublished - 2003

Cite this