Rosłaniec, K. et al. 2023. Qualitative model-based analysis of truss structures. Computer Assisted Methods in Engineering and Science. 9, 1 (Feb. 2023), 123–133.