Patrick Doherty Andrzej Szalas Reasoning with Qualitative Preferences and Cardinalities using Generalized Circumscription. 560-570 2008 KR conf/kr/2008 db/conf/kr/kr2008.html#DohertyS08