Sharing is Caring: Combination of Theories

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://www.cs.nyu.edu/~barrett/pubs/JB11-TR.pdf}
}

(This webpage was created with bibtex2web.)