Slicing an ear using prune-and-search

From MaRDI portal
Publication:4274653