Using information systems to solve recursive domain equations
scientific article; zbMATH DE number 4209620
scientific article