Paramodulation with built-in AC-theories and symbolic constraints
- Nieuwenhuis, R.
- Rubio, A.
ISSN: 0747-7171
Datum der Publikation: 1997
Ausgabe: 23
Nummer: 1
Seiten: 1-21
Art: Artikel
ISSN: 0747-7171
Datum der Publikation: 1997
Ausgabe: 23
Nummer: 1
Seiten: 1-21
Art: Artikel