Computer proofs about finite and regular sets: The unifying concept of subvariance.
scientific article; zbMATH DE number 1970579