@inproceedings{Corea:2026,
	author = {Carl Corea and Isabelle Kuhlmann and Karen Leung and John Grant and Matthias Thimm},
	booktitle = {Proceedings of the 10th International Workshop in Artificial Intelligence for Business Process Management (AI4BPM'26)},
	month = {September},
	title = {Measuring Inconsistency in STL Specifications},
	year = {2026}}