@inproceedings{DBLP:conf/slp/KakasM91,
author = {Antonis C. Kakas and
Paolo Mancarella},
title = {Stable Theories for Logic Programs},
booktitle = {ISLP},
year = {1991},
pages = {85-100},
bibsource = {DBLP, http://dblp.uni-trier.de}
}