Reasoning About Indefinite Actions.

L. Thorne McCarty, Ron van der Meyden

Browse the full KR paper archive.