Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time
scientific article; zbMATH DE number 5142386