What is a logic translation?
scientific article; zbMATH DE number 6130609
scientific article