Termination and Correctness Analysis of Cyclic Control.

Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein

Browse the full AAAI paper archive.