Recent Findings in Boolean Techniques - Rolf Drechsler; Große, Daniel (Springer International Publishing, 2021)