Reducing Equational Theories for the Decision of Static Equivalence
Journal of Automated Reasoning - Netherlands
doi 10.1007/s10817-010-9203-0
Full Text
Open PDFAbstract
Available in full text
Date
September 4, 2010
Authors
Publisher
Springer Science and Business Media LLC