Li, Donglin (2006) Towards first-order symbolic trajectory evaluation using MDGs. Masters thesis, Concordia University.