Third-Order Idealized Algol with Iteration Is Decidable.

Andrzej S. Murawski, Igor Walukiewicz

Browse the full FOSSACS paper archive.