TY  - BOOK
AU  - Bolc,Leonard
AU  - Szaas,Andrzej
TI  - Time and logic: a computational approach 
SN  - 1857282337 :
U1  - 005.1015113 
PY  - 1995///
CY  - London
PB  - UCL Press
KW  - Logic programming
KW  - Time
N1  - Includes bibliographical references and index
ER  -