@article{Santos-Ribeiro-Santos:2023,
	author = {Jandson {Santos Ribeiro Santos} and Matthias Thimm},
	journal = {Journal of Applied Logic},
	month = {November},
	number = {5},
	pages = {643--691},
	title = {Measuring Inconsistency with the Tableau Method},
	volume = {10},
	year = {2023}}