Extending and implementing the stable model semantics
scientific article; zbMATH DE number 1767935
scientific article