Characterizing and computing stable models of logic programs: The non-stratified case

Devs

Characterizing and computing stable models of logic programs: The non-stratified case | Read Paper on Bytez