@article{ferm{\"u}llermetcalfe2009,
	title     = {Giles's Game and the proof Theory of {\L}ukasiewicz Logic},
	author    = {C.G. Ferm{\"u}ller and G. Metcalfe},
	year      = {2009},
	journal   = {Studia Logica},
	volume    = {92},
	pages     = {27--61},
	state     = {published},
	acknowledged= {1}
}