Formal representation of eligibility criteria: a literature review - Weng, C; Tu, SW; Sim, I; Richesson, R (J Biomed Inform, 2010)