Middle-out reasoning for synthesis and induction
scientific article; zbMATH DE number 887166
scientific article