A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems.

Radu Mateescu

Browse the full TACAS paper archive.