Complex sentence: Since 1996, CADE has been held yearly, and since 2001 it has occasionally merged with other conferences to form the International Joint Conference on Automated Reasoning (IJCAR).
Split into simpler sentences: Since 1996, CADE has been held yearly. In 2001, CADE was, for the first time, merged into the International Joint Conference on Automated Reasoning (IJCAR).