A Way Diagrams Explain: Analysis Based on Consequence Matching.

Atsushi Shimojima, Dave Barker-Plummer

Browse the full DIAGRAMS paper archive.