Dumais, Guy (1998) Detection of separable predicates on series-parallel systems. Masters thesis, Concordia University.