A calculus for and termination of rippling

From MaRDI portal
Publication:1915137