Mads Knudsen
DPL
Matrix library
RIB
Rule of Inference Builder