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