Compositional rule of inference as an analogical scheme
scientific article; zbMATH DE number 1975910
scientific article