A total AC-compatible ordering based on RPO
- Rubio, A.
- Nieuwenhuis, R.
ISSN: 0304-3975
Datum der Publikation: 1995
Ausgabe: 142
Nummer: 2
Seiten: 209-227
Art: Artikel
ISSN: 0304-3975
Datum der Publikation: 1995
Ausgabe: 142
Nummer: 2
Seiten: 209-227
Art: Artikel