Consistent Consequence for Boolean Equation Systems.

Maciej Gazda, Tim A. C. Willemse

Browse the full SOFSEM paper archive.