@TechReport{Urbanski2005d,
	author = 	{Mariusz Urba\'{n}ski},
	title = 	{Socratic proofs for some temporal logics},
	institution = 	{Instytut Psychologii UAM},
	year = 		{2005},
	address = 	{Pozna\'{n}},
}