The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory

10.1016/0196-6774(91)90006-K

10.1515/jgth.1998.005

10.1016/0166-218X(90)90017-7

10.1016/0196-6774(90)90013-5

10.4153/CJM-1959-003-9

Etter T., 1995, Phys. Comp., 116

10.1090/memo/0555

10.2307/1971014

10.1016/0166-218X(92)90294-K

10.1016/0095-8956(90)90132-J

10.1090/S0002-9947-96-01537-1

10.1016/0166-218X(96)00099-6

10.1016/0012-365X(94)90235-6

10.1137/S0895480192239992

10.1007/3-540-11493-9

Kumar V., 1992, AI Magazine, 13, 32

10.1145/321864.321877

10.1137/0210002

10.1016/0196-6774(91)90020-Y

10.1016/0022-0000(92)90024-D

Meseguer P., 1989, AICOM, 2, 3, 10.3233/AIC-1989-2101

10.1016/0022-0000(91)90023-X

Pratt Vaughan, 1996, Fund. Inform., 28, 165, 10.3233/FI-1996-281211

10.1007/BF01157687

10.1016/0196-6774(86)90023-4

Tardos E., 1987, Combinatorica, 7, 141