https://intlibrary.ir/download/automated-reasoning-about-classical-mechanics-20990/