Tree Size by Partial Backtracking

From MaRDI portal
Publication:4167574