ConArgLib: an argumentation library with support to search strategies and parallel search