Title: Using information systems to solve recursive domain equations effectively