Bar induction: The good, the bad, and the ugly.

Vincent Rahli, Mark Bickford, Robert L. Constable

Browse the full LICS paper archive.