A diagrammatic inference system for the web. - Michael Wollowski; Peter Nei; Chris Barrell (WWW (Alternate Track Papers & Posters), 2004)