16 citations · 16 across the 4 of their papers we have counts for
1 paper · 2 filters
Victor W. Marek, Jeffrey B. Remmel
(We apologize for pidgin LaTeX) Schlipf \cite{sch91} proved that Stable Logic Programming (SLP) solves all NP decision problems. We extend Schlipf's result to prove that…