@misc {IOPORT.70858886,
    author       = {Yang, Xiaoxiao and Duan, Zhenhua},
    title        = {Axiomatic temporal logic programs verification},
    howpublished = {TASE, 87-94 (2010).},
    year         = {2010},
    doi          = {10.1109/TASE.2010.10},
    identifier   = {70858886},
}