Separability of rational relations in \(A^* \times \mathbb N^m\) by recognizable relations is decidable
scientific article; zbMATH DE number 5664453
scientific article