First-order Definable Retraction Problems for Posets and Reflexive Graphs

TitleFirst-order Definable Retraction Problems for Posets and Reflexive Graphs
Publication TypeJournal Article
Year of Publication2007
AuthorsDalmau, V, Krokhin, AA, Larose, B
JournalJ. Log. Comput.
Volume17
Pagination31-51