An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types

An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types” by Clark Barrett, Igor Shikanian, and Cesare Tinelli, Department of Computer Science. New York University technical report TR2005-878, Nov. 2005.

BibTeX entry:

@techreport{BST05,
   author = {Clark Barrett and Igor Shikanian and Cesare Tinelli},
   title = {An Abstract Decision Procedure for Satisfiability in the
	Theory of Recursive Data Types},
   institution = {Department of Computer Science, New York University},
   number = {TR2005-878},
   month = nov,
   year = {2005},
   url = {http://www.cs.nyu.edu/~barrett/pubs/BST05.pdf}
}

(This webpage was created with bibtex2web.)