@article {1293,
	title = {Logical composition of Lyapunov functions},
	journal = {INTERNATIONAL JOURNAL OF CONTROL},
	volume = {84},
	year = {2011},
	pages = {563{\textendash}573},
	keywords = {Robotics},
	issn = {0020-7179},
	doi = {10.1080/00207179.2011.562549},
	url = {http://dx.medra.org/10.1080/00207179.2011.562549},
	author = {A. Balestrino and A. Caiti and E. Crisostomi}
}
