Towards structurally-free theorem proving - Finger, Marcelo (Logic Journal of the IGPL, 1998)