Expressiveness of Efficient Semi-Deterministic Choice Constructs.

Marc Gyssens, Jan Van den Bussche, Dirk Van Gucht

Browse the full ICALP paper archive.