\(L(A)=L(B)\)? decidability results from complete formal systems
scientific article; zbMATH DE number 1542288
scientific article