OpenAlex
Complexity of Model Checking for Cardinality-Based Belief Revision Operators
Work