Towards a foundation of completion procedures as semidecision procedures
scientific article; zbMATH DE number 985391
scientific article