“Checking Validity of Quantifier-Free Formulas in Combinations of First-Order Theories” by Clark W. Barrett. Ph.D. dissertation, Stanford University, Jan. 2003. Stanford, California.
BibTeX entry:
@phdthesis{B03,
author = {Clark W. Barrett},
title = {Checking Validity of Quantifier-Free Formulas in Combinations
of First-Order Theories},
school = {Stanford University},
type = {{Ph.D.}},
month = jan,
year = {2003},
note = {Stanford, California},
url = {http://theory.stanford.edu/~barrett/pubs/B03.pdf}
}
(This webpage was created with bibtex2web.)