Paramodulation with non-monotonic orderings
- Bofill, Miguel
- Godoy, Guillem
- Nieuwenhuis, Robert
- Rubio, Albert
Konferenzberichte:
Proceedings - Symposium on Logic in Computer Science
ISBN: 0780357701
Datum der Publikation: 1999
Seiten: 225-233
Art: Konferenz-Beitrag