Algebra logiki i integral'nyje preobrazovanija v krajevych zadačach - Rvačev, Vladimir Logvinovič (Naukova dumka, 1976)