Detlef Fehrer Helmut Horacek Presenting Inequations in Mathematical Proofs. 3-23 1999 116 Inf. Sci. 1 db/journals/isci/isci116.html#FehrerH99