Bidirectional Contextual Resolution - Pulman, S (2000)