First-Order Queries over One Unary Function.

Arnaud Durand, Frdric Olive

Browse the full CSL paper archive.