Computing and visualizing banks sets of dominance relations using relation algebra and RelView

Rudolf Berghammer. Computing and visualizing banks sets of dominance relations using relation algebra and RelView. Journal of Logic and Algebraic Programming, 82(3-4):123-136, 2013. [doi]

Abstract

Abstract is missing.