Viet Phan Luong Between Well-Founded Semantics and Stable Model Semantics. 270-278 1999 IDEAS http://computer.org/proceedings/ideas/0265/02650270abs.htm db/conf/ideas/ideas1999.html#Luong99