Reasoning with conjunctive knowledge
scientific article; zbMATH DE number 4070386