Chrobak Normal Form Revisited, with Applications
scientific article; zbMATH DE number 5934387