Chiaki Sakama Katsumi Inoue Representing Priorities in Logic Programs. 82-96 1996 JICSLP db/conf/iclp/iclp96.html#SakamaI96