Computing Stable Models by Using the ATMS.

Kave Eshghi Computing Stable Models by Using the ATMS. 272-277 1990 AAAI db/conf/aaai/aaai90.html#Eshghi90