Well-Founded Reasoning with Classical Negation. - Phan Minh Dung; Phaiboon Ruamviboonsuk (LPNMR, 1991)