Stable models and an alternative logic programming paradigm

Victor W. Marek Miroslaw Truszczynski Stable models and an alternative logic programming paradigm http://arxiv.org/abs/cs.LO/9809032 1998 CoRR cs.LO/9809032 db/journals/corr/corr9809.html#cs-LO-9809032