Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs).

Ying Xu Xiaoyu Song Eduard Cerny Otmane Aït Mohamed Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs). 71-84 2004 47 Comput. J. 1 http://www3.oup.co.uk/computer_journal/hdb/Volume_47/Issue_01/470071.sgm.abs.html db/journals/cj/cj47.html#XuSCM04