@article{BovaGanianSzeider16,
 author = {Simone Bova and Robert Ganian and Stefan Szeider},
 doi = {10.1145/2814937},
 journal = {ACM Transactions on Computational Logic},
 keywords = {compile},
 number = {2},
 title = {Model Checking Existential Logic on Partially Ordered Sets},
 volume = {17},
 year = {2016}
}