1958
3 works on record
An essay on contraction
1997
Logic, action, and information
The Logic of Theory Change
1991