Decision Procedures for Extensions of the Theory of Arrays
Annals of Mathematics and Artificial Intelligence - Netherlands
doi 10.1007/s10472-007-9078-x
Full Text
Open PDFAbstract
Available in full text
Date
July 27, 2007
Authors
Publisher
Springer Science and Business Media LLC