Answer set programming. ([2019]) - Lifschitz, Vladimir
No abstract available