A clausal resolution method for branching-time logic ECTL+
2006 ◽
Vol 46
(3)
◽
pp. 235-263
◽
1996 ◽
pp. 399-413
◽
1987 ◽
Vol 8
(3)
◽
pp. 275-306
◽
2001 ◽
Vol 47
(2)
◽
pp. 239-247
1999 ◽
Vol 150
(2)
◽
pp. 132-152
◽
Keyword(s):
1998 ◽
Vol 24
(3)
◽
pp. 155-178
◽