publication venue for
- On a pairwise comparison-based consistent non-numerical ranking. 20:667-676. 2012
- Interpolation in practical formal development. 9:231-244. 2001
- Relational treatment of term graphs with bound variables. 6:259-303. 1998
- Relational proof system for linear and other substructural logics. 5:673-697. 1997