Gilbert Riegel presentations