1 citations to https://www.mathnet.ru/rus/pams11

1. Anton Freund, Alberto Marcone, Fedor Pakhomov, Giovanni Soldà, “Provable Better-Quasi-Orders”, Notre Dame J. Formal Logic, -1:-1 (2025)