Publication in BibTeX Format

@TECHREPORT{AICPub606:1985,
  AUTHOR={Stuart, Christopher},
  TITLE={Synchronization Of Multiagent Plans Using A Temporal Logic Theorem Prover},
  ADDRESS={333 Ravenswood Ave., Menlo Park, CA 94025},
  INSTITUTION={AI Center, SRI International},
  MONTH={Dec},
  NUMBER={350},
  YEAR={1985},
  KEYWORDS={Multiple Agents!Planning, Logic!Temporal, Deduction!Temporal}
}