Well-Quasi Orders in Computation, Logic, Language and Reasoning
-
sidottu
,
Englanti, 2020