Rosłaniec, Karol, Zenon Kulpa, and Michał K Kleiber. “Qualitative Model-Based Analysis of Truss Structures”. Computer Assisted Methods in Engineering and Science 9, no. 1 (February 24, 2023): 123–133. Accessed January 26, 2025. https://cames3.ippt.pan.pl/index.php/cames/article/view/1150.