Víctor Dalmau, Andrei A. Krokhin, Benoit Larose. First-Order Definable Retraction Problems for Posets and Reflexive Graph. In 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings. pages 232-241, IEEE Computer Society, 2004. [doi]
@inproceedings{DalmauKL04,
title = {First-Order Definable Retraction Problems for Posets and Reflexive Graph},
author = {Víctor Dalmau and Andrei A. Krokhin and Benoit Larose},
year = {2004},
url = {http://csdl.computer.org/comp/proceedings/lics/2004/2192/00/21920232abs.htm},
tags = {graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/DalmauKL04},
cites = {0},
citedby = {0},
pages = {232-241},
booktitle = {19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings},
publisher = {IEEE Computer Society},
isbn = {0-7695-2192-4},
}