From Temporal Logic Queries to Vacuity Detection.

Marko Samer Helmut Veith From Temporal Logic Queries to Vacuity Detection. 149-167 2005 conf/vissas/2005 VISSAS db/conf/vissas/vissas2005.html#SamerV05