Multi-completion with termination tools
scientific article; zbMATH DE number 6184682
scientific article