Signature-based algorithm under non-compatible term orders and its application to change of ordering

From MaRDI portal
Publication:6671813