Kannan Govindarajan Bharat Jayaraman Surya Mantha Preference Logic Programming. 731-745 1995 ICLP db/conf/iclp/iclp95.html#GovindarajanJM95