Antonis C. Kakas Paolo Mancarella Stable Theories for Logic Programs. 85-100 1991 ISLP db/conf/slp/slp91.html#KakasM91