Divide and Compose: SCC Refinement for Language Emptiness.

Mon, 01 Jan 2001 00:00:00 +0100

Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi:
Divide and Compose: SCC Refinement for Language Emptiness. CONCUR 2001: 456-471