Choice Functions on Tree Quasi-Orders

From MaRDI portal
Publication:5270625