Baquerizo Anastacio, M. M.; Guevara Maldonado, C. B. Security Analysis of E-Government Systems Using SAT Problem. Inge Cuc 2016, 12, 73-79.