Axiomatizing the subsumption and subword preorders on finite and infinite partial words
scientific article; zbMATH DE number 1768204
scientific article