Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities

From MaRDI portal
Publication:3522029