@misc{misc4f4b034b,
title   = {Notes on complex combinators and structurally-free theorem proving},
author = {Finger, Marcelo},
year = {1996},
publisher = {IME-USP}
}