Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet Again.

Wolfgang Dvork, Zeynep G. Saribatur, Stefan Woltran

Browse the full KR paper archive.