Parameterized matching on non-linear structures

From MaRDI portal
Publication:989510