History
1
an:05517238
1


Please fill in your query. A complete syntax description you will find on the General Help page.
New results on rewrite-based satisfiability procedures. (English)
ACM Trans. Comput. Log. 10, No. 1 (2009).
WorldCat.org
PDF XML AMS-TeX TEXT BIBTeX DOI
Valid XHTML 1.0 Transitional Valid CSS!