Publication:3983046
From MaRDI portal
zbMath0737.68014MaRDI QIDQ3983046
Publication date: 26 June 1992
Related Items
On the Coincidence of Semantics for Uniquely Determined Programs, Stability, Supportedness, Minimality and Kleene Answer Set Programs, Twelve Definitions of a Stable Model, Ordered completion for first-order logic programs on finite structures, Generalized metrics and uniquely determined logic programs., The meaning of negative premises in transition system specifications. II, Thirteen Definitions of a Stable Model