001.642  / M855e <br/>
Moszkowski, B. C. <br/>
       EXECUTING TEMPORAL LOGIC PROGRAMS 
 / 
 .- Cambridge: Cambridge Univ. Pr.,  1986 
 .- 125 . 
<br/><u>Subject Headings:</u> <br/>Electronic Digital Computers -- Programming;