SAME - A Structured Analysis Tool and its Implementation in Prolog.

Thomas W. G. Docker

Browse the full ICLP paper archive.