@article{article9cbf8c9e,
title   = {Towards structurally-free theorem proving},
author = {Finger, Marcelo},
year = {1998},
doi = {10.1093/jigpal/6.3.425},
journal   = {Logic Journal of the IGPL}
}