Regular trees and the free iterative theory
decision problems involving flowchart schemes
scientific article; zbMATH DE number 3780562