Martin De Wulf Laurent Doyen Nicolas Maquet Jean-François Raskin Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking. 63-77 2008 TACAS http://dx.doi.org/10.1007/978-3-540-78800-3_6 conf/tacas/2008 db/conf/tacas/tacas2008.html#WulfDMR08