1. RelView—A system for calculation with relations and relational programming;Behnke,1998
2. Relation-algebraic analysis of Petri nets with RelView;Berghammer,1996
3. Implementation of relational algebra using binary decision diagrams;Berghammer,2002
4. J. Desharnais, B. Möller, Least reflexive points of relations. Report 2003-13, Inst. für Inf., Univ. Augsburg, Higher Order Symb. Comp., in press.
5. An extension of Tarski’s fixed point theorem and its application to isotone complementarity problems;Fujimoto;Math. Program.,1984