@dblp

A language for boolean function representation and manipulation.

, and . ACM-SE, page 144-150. ACM, (1976)

Links and resources

Tags