Normal Forms for a Class of Formulas. - Huub M. M. ten Eikelder; J. C. F. Wilmont (J. Symb. Comput., 1991)