On the real-state processing of regular operations and the Sakoda-Sipser problem.

J. Andres Montoya, David Casas

Browse the full CLEI paper archive.