Evashna built on previous work to design and implement algorithms for the Rational Closure and evaluated the extent to which these algorithms are scalable.

Dhiresh built on previous work to design and implement algorithms for the Lexicographic Closure and evaluated the extent to which these algorithms are scalable.