Pasquale Caianiello, Stefania Costantini, Eugenio G. Omodeo. An Environment for Specifying Properties of Dyadic Relations and Reasoning about Them: I: Language Extension Mechanisms. In Harrie C. M. de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens, editors, Theory and Applications of Relational Structures as Knowledge Instruments, COST Action 274, TARSKI, Revised Papers. Volume 2929 of Lecture Notes in Computer Science, pages 87-106, Springer, 2003. [doi]
Abstract is missing.