A Parallelized Variant of Junker’s QuickXPlain Algorithm Libro uri icon