@Article{	  dixkrasub00,
  author	= {J\"{u}rgen Dix and Sarit Kraus and V.S.~Subrahmanian},
  title		= {Temporal {A}gent {R}easoning},
  journal	= {Artificial Intelligence},
  year		= {2001},
  volume	= {127},
  number	= {1},
  pages		= {87--135}
}