First-order relevant reasoners in classical worlds
scientific article; zbMATH DE number 7944273
scientific article