Testing for edge terms is decidable (Q2351513)

From MaRDI portal