Completeness and Consistency of Tabular Requirements: An SMT-Based Verification Approach. - Claudio Menghi; Eugene Balai; Darren Valovcin; Christoph Sticksel; Akshay Rajhans (IEEE Trans. Software Eng., 2025)