New operators for theory change

From MaRDI portal
Publication:5753941