Metoda transformací logických formul - Rott, Hilbert (Studie Československé akademie věd, 1989)