https://intlibrary.ir/download/reasoning-with-rules-and-precedents:-a-computation-73509/