Well quasi-orders, unavoidable sets, and derivation systems

Flavio D Alessandro, Stefano Varricchio. Well quasi-orders, unavoidable sets, and derivation systems. ITA, 40(3):407-426, 2006. [doi]

Abstract

Abstract is missing.