Thomas Andreas Meyer Basic Infobase Change. 215-242 2001 67 Studia Logica 2 db/journals/sLogica/sLogica67.html#Meyer01