Descriptions:

Colmerauer

HDU - 5749