Towards structurally-free theorem proving
Marcelo Finger · Logic Journal of IGPL · 1998
Journal Article Towards structurally-free theorem proving Get access M Finger M Finger Departamento de Ciencia da Computacao, Instituto de Matematica e Estatistica, Universidade de Sao Paulo, 05508-900, Sao Paulo, Brazil E-mail: [email protected] Search for other works by this author on: Oxford Academic Google Scholar Logic Journal of the IGPL, Volume 6, Issue 3, May 1998, Pages 425–449, https://doi.org/10.1093/jigpal/6.3.425 Published: 01 May 1998