Tag: boolean equation systems