7 citations · 7 across the 1 of their papers we have counts for
1 paper
Hudson Turner
Logic programs P and Q are strongly equivalent if, given any program R, programs P union R and Q union R are equivalent (that is, have the same answer sets). Strong equivalence is…