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