System Description: Using OBDD's for the validation of Skolem verification conditions. - E. Pascal Gribomont; Nachaat Salloum (CADE, 1999)