“Polite Theories Revisited” by Dejan Jovanovic and Clark Barrett, Depatrment of Computer Science. New York University technical report TR2010-922, Jan. 2010.
BibTeX entry:
@techreport{JB10-TR,
author = {Dejan Jovanovi{\'c} and Clark Barrett},
title = {Polite Theories Revisited},
institution = {Depatrment of Computer Science, New York University},
number = {TR2010-922},
month = jan,
year = {2010},
url = {http://theory.stanford.edu/~barrett/pubs/JB10-TR.pdf}
}
(This webpage was created with bibtex2web.)