@inproceedings{preining2009,
	title     = {SAT in Monadic Goedel Logics: a borderline between decidability and undecidability},
	author    = {M. Baaz and   A. Ciabattoni and  N. Preining},
	year      = {2009},
	volume    = {5514},
	pages     = {113--124},
	series    = {LNCS},
	booktitle = {Proceedings of the 16th International Workshop on Logic, Language, Information and Computation},
	state     = {published}
}