The minimality and the antichain property of stable models of a traditional program do not hold in the general case.
Мінімальність та властивість антиланцюговості стійких моделей традиційних програм в загальному випадку не мають місця.