Rosłaniec, Karol, et al. “Qualitative Model-Based Analysis of Truss Structures”. Computer Assisted Methods in Engineering and Science, vol. 9, no. 1, Feb. 2023, pp. 123-3, https://cames3.ippt.pan.pl/index.php/cames/article/view/1150.