2014 - A new method of proving the existence of answer sets for disjunctive logic programs.pdf 193 KB Raw History Download (193 KB)
