Implementing Informal Semantics of ASP.

Artur Mikitiuk, Miroslaw Truszczynski

Browse the full LPNMR paper archive.