Title: A Paull-Unger procedure for substitution property partitions
Subjects: Sequential machine theory