@inproceedings{Sam08LPAR,
    author = {Samer, Marko},
    title = {Variable Dependencies of Quantified CSPs},
    booktitle = {Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08)},
    editor = {Cervesato, Iliano and Veith, Helmut and Voronkov, Andrei},
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Computer Science},
    volume = {5330},
    pages = {512--527},
    year = {2008},
    isbn = {978-3-540-89438-4}
}