TY  - RPRT
TI  - A Temporal Logic for Uncertain Events and An Outline of A Possible Implementation in An Extension of PROLOG
AU  - Soumitra Dutta
PY  - 2013
UR  - https://arxiv.org/abs/1304.2350
ID  - 1304.2350
ER  -