Title of article :
Multiple total stable models are definitely needed to solve unique solution problems
Author/Authors :
Domenico Saccà، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 1996
Keywords :
Stable model , Complexity class , Relational database , DATAWG~ , Logic programming , Expressive power , Unique and criticalSAT
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters
