Recent Findings in Boolean Techniques

@book{pub11437,
    author = {

Drechsler, Rolf
 and 

Große, Daniel
},
    title = {Recent Findings in Boolean Techniques},
    year = {2021},
    publisher = {Springer},
    isbn = {978-3-030-68070-1}
}