"Diagrammatic Representation and Inference, Third International Conference, ..."

Alan F. Blackwell, Kim Marriott, Atsushi Shimojima (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics