Maciej Gazda, Tim A. C. Willemse: Consistent Consequence for Boolean Equation Systems. SOFSEM 2012: 277-288