Infinite Paths in the Situation Calculus: Axiomatization and Properties.

Shakil M. Khan, Yves Lesprance

Browse the full KR paper archive.