Published 2005
| Version v1
Publication
On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal
Contributors
Additional details
Identifiers
- URL
- http://hdl.handle.net/11567/230380
- URN
- urn:oai:iris.unige.it:11567/230380
Origin repository
- Origin repository
- UNIGE