Stable Theories for Logic Programs

Antonis C. Kakas, Paolo Mancarella. Stable Theories for Logic Programs. In ISLP. pages 85-100, 1991.

Abstract

Abstract is missing.