Tautology Checking Using Cross-Controllability and Cross-Observability Relations. - Eduard Cerny; C. Mauras (ICCAD, 1990)