Conference paper
Monotone monadic SNP and constraint satisfaction
Tomás Feder, Moshe Y. Vardi
STOC 1993
Tomás Feder, Moshe Y. Vardi
STOC 1993
Ronald Fagin, Joseph Y. Halpern, et al.
Artificial Intelligence
Gabriel M. Kuper, Moshe Y. Vardi
Theoretical Computer Science
Stavros S. Cosmadakis, Paris C. Kanellakis, et al.
Journal of the ACM