Simplification of boolean verification conditions (0)

by E P Gribomont
Venue:Theoretical Computer Science