@book{93580,
	author = {International Workshop on Boolean Problems and Drechsler, Rolf,},
	title = {Advanced Boolean techniques :},
	publisher = {Springer,},
	year = {2020},
	address = {Cham :},
	url = {https://link-springer-com.libraryumpsa.idm.oclc.org/book/10.1007/978-3-030-20323-8}
}