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