Ranking functions for belief change: a uniform approach to belief revision and belief progression Digital Document
A declarative model for reasoning about form security Digital Document DGI Image Discovery Discovered Image
