1-2 of 2 Books
Boolean calculus of differences
By André Thayse
P-functions and Boolean matrix factorization