An optimality result for clause form translation
scientific article; zbMATH DE number 97801