https://intlibrary.ir/download/advanced-boolean-techniques:-selected-papers-from--32644-7308/