Pseudo-inversion: closure properties and decidability
scientific article; zbMATH DE number 7077535
scientific article