Content
Combination of Constraint Solvers for Free and Quasi-Free Structures.
Theoretical Computer Science 192:107-161, 1998.
| Authors/Editors: |
Franz Baader Klaus U. Schulz |
|---|---|
| Publication Date: | 1998 |
| Type of Publication: | Konferenzen/Journale |