1. A taxonomy of behavior change techniques used in interventions;Abraham;Health Psychol.,2008
2. Diagnostic and Statistical Manual of Mental Disorders: DSM-5™;American Psychiatric Association,2013
3. Knowledge Representation, Reasoning and Declarative Problem Solving;Baral,2003
4. Comparison of beck depression inventories-IA and-II in psychiatric outpatients;Beck;J. Personal. Assess.,1996
5. Symbolic model checking without BDDs;Biere,1999