Local Termination

From MaRDI portal
Publication:3636830