Richard Chang Jim Kadin On Computing Boolean Connectives of Characteristic Functions. 173-198 1995 28 3 Mathematical Systems Theory db/journals/mst/mst28.html#ChangK95