Alternation as a programming paradigm.

Wolfgang Dvork, Georg Gottlob, Reinhard Pichler, Stefan Woltran

Browse the full PPDP paper archive.