.vs 20
.TL
   \  
.sp 6
\s20Temporal Logic Programming in \fITokio\fR
.AU
.sp 5
\s16Albert C. Esterline
\s16Danny Kilis
.AI
.sp 2
\s16University of Minnesota
.LP
.br
.sp 6
.ce 100
\s18DRAFT\s10
\(co copyright 1988
.ce 0
