@article{McDermott82-cs,
  author	= {McDermott, D.},
  year		= {1982},
  title		= {A Temporal Logic for Reasoning about Processes and Plans},
  journal	= {Cognitive Science},
  volume	= {6},
  number	= {2},
  pages		= {101--155}
}