A power algebra for theory change
scientific article; zbMATH DE number 1394843