Putting consistent theories together in institutions
scientific article; zbMATH DE number 777778