SAME - A Structured Analysis Tool and its Implementation in Prolog

Thomas W. G. Docker. SAME - A Structured Analysis Tool and its Implementation in Prolog. In ICLP/SLP. pages 82-95, 1988.

Abstract

Abstract is missing.