Ralf Behnke, Rudolf Berghammer, Erich Meyer, Peter Schneider. RELVIEW - A System for Calculating With Relations and Relational Programming. In Egidio Astesiano, editor, Fundamental Approaches to Software Engineering, 1st Internationsl Conference, FASE 98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Volume 1382 of Lecture Notes in Computer Science, pages 318-321, Springer, 1998. [doi]
Abstract is missing.