Peter A. Flach Comparing Consequence Relations. 180-189 1998 conf/kr/1998 KR db/conf/kr/kr98.html#Flach98