Paolo Liberatore The Complexity of Belief Update. 68-73 1997 IJCAI (1) db/conf/ijcai/ijcai97.html#Liberatore97