Publication in EndNote Format

%0 Report
%@ 350
%A Stuart, Christopher
%T Synchronization Of Multiagent Plans Using A Temporal Logic Theorem Prover
%C 333 Ravenswood Ave., Menlo Park, CA 94025
%I AI Center, SRI International
%D 1985
%K Multiple Agents!Planning, Logic!Temporal, Deduction!Temporal
%U http://www.ai.sri.com/pubs/files/606.pdf