@article {DBLP:journals/jlp/MadeiraNM16,
	title = {An exercise on the generation of many-valued dynamic logics},
	journal = {J. Log. Algebr. Meth. Program.},
	volume = {85},
	number = {5},
	year = {2016},
	note = {<p>n/a</p>
},
	pages = {1011{\textendash}1037},
	abstract = {<p>n/a</p>
},
	doi = {10.1016/j.jlamp.2016.03.004},
	url = {http://dx.doi.org/10.1016/j.jlamp.2016.03.004},
	attachments = {https://haslab.uminho.pt/sites/default/files/madeira/files/8.pdf},
	author = {Alexandre Madeira and Renato Neves and Manuel A. Martins}
}