@inproceedings{bouceramiesteva2011,
	title     = {Finite-valued Lukasiewicz modal logic is PSPACE-complete},
	author    = {Felix Bou and Marco Cerami and Francesc Esteva},
	year      = {2011},
	pages     = {774--780},
	booktitle = {Proceedings of the twenty-second International Joint Conference on Artificial Intelligence (IJCAI 2011)},
	state     = {published},
	acknowledged= {1},
	talk      = {1}
}