@book{RB-2026,
	author	= {B{\"u}chi, Romain},
	title 		= {{\"U}ber Variablen und Entscheidbarkeit},
	publisher	= {Verlag Karl Alber},
	year		= {2026},
	isbn		= {978-3-495-98706-3}
}