Multistrategy theory revision: Induction and abduction in INTHELEX
scientific article; zbMATH DE number 1484528