MULTIPLE TOTAL STABLE MODELS ARE DEFINITELY NEEDED TO SOLVE UNIQUE SOLUTION PROBLEMS

Authors
Citation
D. Sacca, MULTIPLE TOTAL STABLE MODELS ARE DEFINITELY NEEDED TO SOLVE UNIQUE SOLUTION PROBLEMS, Information processing letters, 58(5), 1996, pp. 249-254
Citations number
23
Categorie Soggetti
Information Science & Library Science","Computer Science Information Systems
ISSN journal
00200190
Volume
58
Issue
5
Year of publication
1996
Pages
249 - 254
Database
ISI
SICI code
0020-0190(1996)58:5<249:MTSMAD>2.0.ZU;2-A