@TechReport{Urbanski2005b,
	author = 	{Mariusz Urba\'{n}ski},
	title = 	{First-order Synthetic Tableaux},
	institution = 	{Instytut Psychologii UAM},
	year = 		{2005},
	address = 	{Pozna\'{n}},
}