Severin Isenmann HyperIBIS - a Tool for Argumentative Problem Solving. 185-190 1992 DEXA db/conf/dexa/dexa92.html#Isenmann92