Equivalence of conservative, free, linear program schemas is decidable
scientific article; zbMATH DE number 1857133