Kleiber M, Kulpa Z. Computer-assisted hybrid reasoning in simulation and analysis of physical systems. Comp. Assist. Methods Eng. Sci. [Internet]. 2023 Jul. 17 [cited 2025 Jun. 29];2(3):165-86. Available from: https://cames.ippt.pan.pl/index.php/cames/article/view/1471