@InProceedings{MR07,
author = 	{V. Mogbil and V. Rahli},
title = 	{Uniform circuits, {\&} Boolean proof nets},
booktitle = 	{Logical Foundations of Computer Science},
pages = 	{401-421},
year = 		{2007},
editor = 	{Artemov, Sergei and Nerode, Anil},
volume = 	{4514},
series = 	{Lecture Notes in Computer Science},
isbn = 		{978-3-540-72732-3},
publisher = 	{Springer-Verlag Heidelberg},
note = 		{International Symposium, LFCS 2007, New York, NY, USA, June 4-7},
lipn-category =	"intc"
}