R-Stable Models for Logic Programs.

Hadassa Jakobovits Dirk Vermeir R-Stable Models for Logic Programs. 233-243 1996 conf/lid/1996 Logic in Databases db/conf/lid/lid96.html#JakobovitsV96