BibTeX Export

@inproceedings{Authenticus:P-007-D7G,
	title = {{Studying provability in implicational intuitionistic logic: the formula tree approach}},
	author = {S Broda and L Damas},
	booktitle = {Electronic Notes in Theoretical Computer Science},
	doi = {10.1016/s1571-0661(04)80545-0},
	pages = {135-151},
	publisher = {Elsevier BV},
	type = {Proceedings Paper},
	volume = {67},
	year = {2002}
}