On the decidability of open logic
scientific article; zbMATH DE number 5676784