Automatically finding theory morphisms for knowledge management
scientific article; zbMATH DE number 6957970