A Combination of Clausal and Non Clausal Temporal Logic Programs.

Shinji Kono A Combination of Clausal and Non Clausal Temporal Logic Programs. 40-57 1993 conf/ijcai/1993em Executable Modal and Temporal Logics db/conf/ijcai/ijcai1993em.html#Kono93