Graph based θ-subsumption algorithms Charanpal Dhanjal January 2003 Supervised by Simon Colton and Stephen Muggleton