A Formalisation of Consistent Consequence for Boolean Equation Systems.

Myrthe van Delft, Herman Geuvers, Tim A. C. Willemse

Browse the full ITP paper archive.