Phan Minh Dung Phaiboon Ruamviboonsuk Well-Founded Reasoning with Classical Negation. 120-132 1991 LPNMR db/conf/lpnmr/lpnmr91.html#DungR91