Using Temporal Abstraction to Understand Recursive Programs Involving Side Effects.

Joachim H. Laubsch, Marc Eisenstadt

Browse the full AAAI paper archive.