id: 70858886
dt: a
an: 70858886
au: Yang, Xiaoxiao; Duan, Zhenhua
ti: Axiomatic temporal logic programs verification
so: TASE, 87-94 (2010).
py: 2010
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1109/TASE.2010.10