“Sharing is Caring: Combination of Theories” by Dejan Jovanovic and Clark Barrett, Depatrment of Computer Science. New York University technical report TR2011-940, Oct. 2011.
BibTeX entry:
@techreport{JB11-TR,
author = {Dejan Jovanovi{\'c} and Clark Barrett},
title = {Sharing is Caring: Combination of Theories},
institution = {Depatrment of Computer Science, New York University},
number = {TR2011-940},
month = oct,
year = {2011},
url = {http://theory.stanford.edu/~barrett/pubs/JB11-TR.pdf}
}
(This webpage was created with bibtex2web.)