Martin Grohe, Luc Segoufin
On First-Order Topological Queries
LICS, 2000.
@inproceedings{LICS-2000-GroheS,
author = "Martin Grohe and Luc Segoufin",
booktitle = "{Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science}",
doi = "10.1109/LICS.2000.855783",
isbn = "0-7695-0725-5",
pages = "349--360",
publisher = "{IEEE Computer Society}",
title = "{On First-Order Topological Queries}",
year = 2000,
}