A Web Oriented System for Equational Solving. Proceedings of the 12th International Workshop on Functional and (Constraint) Logic Programming (WFLP2003). 2003. 309--312
Open CFLP: An Open System for Collaborative Constraint Functional Logic Programming. Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP2002). 2002. pp. 229--232