Dynamic restriction of choices: a preliminary logical report.

Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simon

Browse the full TARK paper archive.