First-Order Definable Retraction Problems for Posets and Reflexive Graph.

Vctor Dalmau, Andrei A. Krokhin, Benot Larose

Browse the full LICS paper archive.