Hubie Chen, Moritz Müller
An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction
LICS, 2012.
@inproceedings{LICS-2012-ChenM, author = "Hubie Chen and Moritz Müller", booktitle = "{Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2012.32", isbn = "978-1-4673-2263-8", pages = "215--224", publisher = "{IEEE Computer Society}", title = "{An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction}", year = 2012, }