A note on the complexity of matching patterns with variables

From MaRDI portal
Publication:2445237