de Haas, E. and Adriaans, P. 1999. Substructural Logic: a unifying framework for second generation datamining algorithms. Proceedings of the Amsterdam Colloquium. (Dec. 1999), 121–126.