Towards structurally-free theorem proving - Finger, Marcelo (1998)