On the satisfiability of circumscription
Vladimir LifschitzТом:
28
Рік:
1986
Мова:
english
Сторінки:
11
DOI:
10.1016/0004-3702(86)90028-7
Файл:
PDF, 476 KB
english, 1986