Algorytm rozwiązywania pewnej klasy zadań pseudoboolowskich : realizacja maszynowa - Michalski, Antoni (Prace CO PAN, 1972)