Wojciech Zielonka

	2007
4		Wojciech Zielonka: On Reduction Systems Equivalent to the Non-associative Lambek Calculus with the Empty String. J. Log. Comput. 17(2): 299-310 (2007)
	2002
3		Wojciech Zielonka: On Reduction Systems Equivalent to The Lambek Calculus with the Empty String. Studia Logica 71(1): 31-46 (2002)
	2001
2		Wojciech Zielonka: Cut-Rule Axiomatization of the Syntactic Calculus L0. Journal of Logic, Language and Information 10(2): 233-236 (2001)
	2000
1		Wojciech Zielonka: Cut-Rule Axiomatization of the Syntactic Calculus NL0. Journal of Logic, Language and Information 9(3): 339-352 (2000)