Automatic proof generation in an axiomatic system for $$ mathsf{CPL}$$ by means of the method of Socratic proofs. - Aleksandra Grzelak; Dorota Leszczynska-Jasion (Log. J. IGPL, 2018)