Wolfgang Faber Kathrin Konczak Strong Equivalence for Logic Programs with Preferences. 430-435 2005 conf/ijcai/2005 IJCAI http://www.ijcai.org/papers/1048.pdf db/conf/ijcai/ijcai2005.html#FaberK05