2024
Counterexample Sufficiency in Modifications to Strict-Tolerant Logics.
Proceedings of the 54th IEEE International Symposium on Multiple-Valued Logic, 2024