% $Id: vmgbibliography.bib,v 1.1 2008/08/29 16:26:03 robin Exp $

% bib file from vmg group
% emailed from Andrew Fish late May 2007


@CONFERENCE{stapleton:inivlacsued,
  author =       {G.~Stapleton and J.~Masthoff},
  title =        {Incorporating Negation into Visual Logics: A Case Study Using {E}uler Diagrams},
  booktitle =    {Submitted to Visual Languages and Computing 2007},
  year =         {2007}
}



@ARTICLE{stapleton:atpieds,
  AUTHOR =       "G.~Stapleton and J.~Masthoff and J.~Flower and A.~Fish and J.~Southern",
  TITLE =        "Automated Theorem Proving in {E}uler Diagrams Systems",
  JOURNAL =      "Accepted for Journal of Automated Reasoning",
  YEAR =         "to appear 2007"
}

@ARTICLE{stapleton:teacosdawc,
  AUTHOR =       "G. Stapleton and J. Taylor and J. Howse and S. Thompson",
  TITLE =        "The Expressiveness and Completeness of Spider Diagrams Augmented with Constants",
  JOURNAL =      "Submitted to Formal Aspects of Computing",
  YEAR =         "2005"
}

@ARTICLE{stapleton:vfol,
  AUTHOR =       "G.~Stapleton and A.~Fish and S.~Thompson and J.~Howse and S.~Thompson",
  TITLE =        "Visual First Order Logic",
  JOURNAL =      "Submitted to Journal of Symbolic Logic",
  YEAR =         "2006",
}



%%%%%%%%%%%%%%%%%%%%%%% WEB SITES ONLY  %%%%%%%%%%%%%%%%%%%%

@MISC{dau:website,
    author = {{F.~Dau}},
    howpublished = "{http://www.dr-dau.net/eg\_readings.shtml}",
    year = "2006"
}

@MISC{diagrams:website,
  author =       "S.J.~Shin \and O.~Lemon",
  title =        "Stanford Enyclopedia of Philosophy: Diagrams",
  howpublished = "http://plato.stanford.edu/entries/diagrams/",
  year =         "2001"
}

@MISC{puml,
  author =       {{The Precise UML Group}},
  howpublished = {http://www.cs.york.ac.uk/puml/index.html},
  year =         {1997}
}

@MISC{rwd,
  author =        {{Reasoning with Diagrams}},
  howpublished = "http://www.cs.kent.ac.uk/projects/rwd/",
  year =         "2006"
}

@MISC{uml,
  author =        {{Unified Modelling Language}},
  howpublished = "http://www.uml.org/",
  year =         "2006"
}


@MISC{visualocl,
  author =        {{VisualOCL: Editor plugin for Eclipse}},
  howpublished = "http://tfs.cs.tu-berlin.de/vocl/",
  year =         "2004"
}

@MISC{vmg:website,
  author =       {{Visual Modelling Group}},
  howpublished = "http://www.cmis.bton.ac.uk/research/vmg",
  year = "2006"

}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% AAAAA %%%%%%%%%%%%%%%%%%%%

@ARTICLE{akehurst:aratdattim,
  AUTHOR =       "D.~Akehurst and S.~Kent and O.~Patrascoiu",
  TITLE =        "A Relational Approach to Defining and Implementing Transformations in Metamodels",
  JOURNAL =      "Journal of Software and Systems Modeling",
  volume =       "2",
  number =       "4",
  pages =        "215-239",
  month =        "December",
  YEAR =         "2003"
}



@conference{akehurst:o2.0its,
    author      = "D.~Akehurst and P.~Linington and O.~Patrascoiu",
    booktitle   = "Technical Report",
    title       = "OCL 2.0: Implementing the Standard",
    year        = 2003
}

@conference{akehurst:oits,
    author      =   "D.~Akehurst and O.~Patrascoiu",
    title       =   "{OCL}: Implementing the Standard",
    pages       =   "19",
    booktitle   =   "OCL2.0-Industry standard or scientific playground?, Proceedings of the UML'03 workshop",
    series      =   "ENTCS",
    year        =   "2003"
}

@conference{akehurst:tmwpao,
    author      = "D.~Akehurst and O.~Patrascoiu",
    booktitle   = "Proceedings of the Metamodelling for MDA Workshop",
    title       = "Tooling Metamodels with Patterns and {OCL}",
  year =         "2003"
}




@BOOK{armstrong:bt,
  AUTHOR =       "M.~Armstrong",
  TITLE =        "Basic Topology",
  PUBLISHER =    "Springer-Verlag",
  YEAR =         "1979"
}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%% BBBBB %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


@BOOK{barwise:h,
  AUTHOR =       "J.~Barwise and J.~Etchemendy",
  TITLE =        "Hyperproof",
  PUBLISHER =    "CSLI Press",
  YEAR =         "1994"
}


@INCOLLECTION{barwise:hlrwd,
  AUTHOR =      "J.~Barwise and J.~Etchemendy",
  booktitle =   "Reasoning with Diagrammatic Representations",
  editor=       "B.~Chandrasekaran and H.~Simon ",
  title =       "Hyperproof: Logical Reasoning with Diagrams",
  pages =       "80-84",
  PUBLISHER =   "AAAI press",
  YEAR =        "1992"
}


@incollection{barwise:datcols,
    author      = "J.~Barwise and E.~Hammer ",
    publisher   = "Oxford University Press",
    title       = "Diagrams and the Concept of Logical System",
    booktitle   = "Logical Reasoning with Diagrams",
    editor      = "G.~Allwein and J.~Barwise",
    year        = 1996
}

@INCOLLECTION{barwise:vivr,
  AUTHOR =       "J.~Barwise and J.~Etchemendy",
  TITLE =        "Visual Information and Valid Reasoning",
  BOOKTITLE =    "Logical Reasoning with Diagrams",
  PUBLISHER =    "Oxford University Press",
  YEAR =         "1996",
  editor =       "G.~Allwein and J.~Barwise",
   pages =        "3-25"
}


@BOOK{battista:gdaftvog,
  AUTHOR =       "G.~Di~Battista and P.~Eades and R.~Tamassia and I.~G.~Tollis",
  TITLE =        "Graph Drawing: Algorithms for the visualization of graphs",
  PUBLISHER =    "Prentice Hall",
  YEAR =         "1999",
  isbn =         "0-13-301615-3"
}


@CONFERENCE{benoy:etcoed,
  author =       {F.~Benoy and P.~Rodgers},
  title =        {Evaluating the Comprehension of {E}uler Diagrams},
  booktitle =    {Euler Diagrams 2005},
  year =         {2006}
}


@CONFERENCE{bertault:dhitss,
  author =       {F.~Bertault and P.~Eades.},
  title =        {Drawing hypergraphs in the subset standard},
  booktitle =    {Proceedings of the 8th International Symposium on Graph Drawing},
  year =         {2000},
  volume =       {1984},
  series =       {LNCS},
  pages  =       {164 - 169},
  publisher =    {Springer Verlag}
}


@BOOK{biggs:gt17361936,
  AUTHOR =       "N.~Biggs and E.~Lloyd and R.~Wilson.",
  TITLE =        "Graph Theory 1736-1936",
  PUBLISHER =    "Oxford University Press",
  YEAR =         "1976"
}

@BOOK{blackett:et,
  AUTHOR =       "D.~Blackett",
  TITLE =        "Elementary Topology",
  PUBLISHER =    "Academic Press",
  YEAR =         "1983"
}

@conference{blackwell:acdqofu,
    author      = "A.~Blackwell and T.~Green",
    booktitle   = "Proceedings of 12th Workshop on the Psychology of Programming Interest Group",
    publisher   = "",
    pages       = "137--154",
    title       = "A Cognitive Dimensions Questionnaire Optimised for Users",
    year        = 2000
}

@BOOK{borger:tcdp,
  AUTHOR =       "E.~Borger and E.~Gradel and E.~Gurevich",
  TITLE =        "The Classical Decision Problem",
  PUBLISHER =    "Springer-Verlag",
  YEAR =         "1997"
}

@CONFERENCE{bosworth:taapsfs,
  author =       {P.~Bosworth},
  title =        {Towards an Automatic Proof System for Scalecharts},
  booktitle =    {Proceedings of Diagrams 2004, Cambridge, UK},
  year =         {2004},
  series =       {LNAI},
  pages  =       {227-229},
  month =        {March},
  publisher =    {Springer-Verlag}
}

@conference{bottoni:avoouc,
  author =      {P.~Bottoni and M.~Koch and F.~Parisi-Presicce and G.~Taentzer},
  title  =      {A Visualization of {OCL} using Collaborations},
  booktitle =   {UML 2001 -- The Unified Modeling Language},
  editor =      {Gogolla, M. and Kobryn, C.},
  publisher =   {Springer},
  series =      {LNCS 2185},
  pages  =      {257 -- 271},
  year   =      2001
}

@CONFERENCE{bovey:maaatug,
  author =       {J.~Bovey and P.~Rodgers and F.~Benoy},
  title =        {Movment as an Aid to Understanding Graphs},
  booktitle =    {Seventh International Conference on Information Visualization},
  year =         {2003},
  pages  =       {472-478},
  month =        {July},
  publisher =    {IEEE}
}



@ARTICLE{bultena:vdwfv,
  AUTHOR =       "B.~Bultena and F.~Ruskey",
  TITLE =        "{V}enn Diagrams with Few Vertices",
  JOURNAL =      "Electronic Journal of Combinatorics",
  YEAR =         "1998",
  pages =        "1--21",
  volume =       "5"
}

@ARTICLE{bundy:avmd,
  AUTHOR =       "A.~Bundy",
  TITLE =        "A Very Mathematical Dilemma",
  JOURNAL =      "The Computer Journal",
  YEAR =         "2006",
  volume =       "49",
  number =       "4",
  pages =        "480--486"
}


@BOOK{burris:lfmacs,
  AUTHOR =       "S.~Burris",
  TITLE =        "Logic for Mathematics and Computer Science",
  PUBLISHER =    "Prentice Hall",
  YEAR =         "1998"
}






%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% CCCCCCCCC %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@article{cheng:csatudr,
        author      ="P.~Cheng and R.~Lowe and M.~Scaife",
        title       ="Cognitive Science Approaches To Understanding Diagrammatic Representations",
        journal     ="Artificial Intelligence Review",
        volume      ="15",
        number      ="16",
        pages       ="79--94",
        year        ="2001"
}

@conference{cheng:csatudr:2,
    author      ="P. Cheng and R. Lowe and M. Scaife",
    booktitle   ="Proceedings of 1st International Conference, Diagrams 2000",
    pages       ="",
  year =         "2000",
  series =       "LNAI",
  title =        "Cognitive Science Approaches To Understanding Diagrammatic Representations",
  publisher =    "Springer-Verlag"
}


@CONFERENCE{chiara:asfvdued,
  author =       {R.~DeChiara and U.~Erra and V.~Scarano.},
  title =        {A System for Virtual Directories Using {E}uler Diagrams},
  booktitle =    {Proceedings of Euler Diagrams 04},
  year =         {2005},
  volume =       {134},
  series =       {Electronic Notes in Theoretical Computer Science},
  pages  =       {33–-53}
}

@CONFERENCE{chiara:vavdfm,
  author =       {R.~DeChiara and U.~Erra and V.~Scarano.},
  title =        {Venn{FS}: A {V}enn Diagram file manager},
  booktitle =    {Proceedings of Information Visualisation},
  year =         {2003},
  pages  =       {120-–126},
  publisher =    {IEEE Computer Society}
}

@CONFERENCE{choudhury:oevdbanoi,
  author =       {L.~Choudhury and M.~K.~Chakraborty},
  title =        {On Extending {V}enn Diagrams by Augmenting Names of Individuals},
  booktitle =    {Proceedings of 3rd International Conference on the Theory and Application of Diagrams},
  year =         {2004},
  series      =  {LNAI},
  volume =       {2980},
  pages  =       {142-146},
  month =        {March},
  publisher =    {Springer-Verlag}
}

@CONFERENCE{chow:capvaedwtc,
  author =       {S.~Chow and P.~Rodgers},
  title =        {Constructing Area-Proportional {V}enn and {E}uler Diagrams with Three Circles},
  booktitle =    {Proceedings of {E}uler Diagrams 2005},
  year =         {2005}
}

@CONFERENCE{chow:dapvaed,
  author =       {S.~Chow and F.~Ruskey},
  title =        {Drawing Area-Proportional {V}enn and {E}uler Diagrams},
  booktitle =    {Proceedings of Graph Drawing 2003, Perugia, Italy},
  year =         {2003},
  series=        {LNCS},
  volume =       {2912},
  pages  =       {466-477},
  month =        {September},
  publisher =    {Springer-Verlag}
}

@CONFERENCE{chow:tagstdaped,
  author =       {S.~Chow and F.~Ruskey},
  title =        {Towards a General Solution to Drawing Area-Proportional {E}uler Diagrams},
  booktitle =    {Proceedings of {E}uler Diagrams},
  year =         {2005},
  volume =       {134},
  pages =        {3--18},
  series =       {ENTCS}
}




@CONFERENCE{clark:fmmdcusd,
  author =       {R.~Clark},
  title =        {Failure Mode Modular De-Composition Using Spider Diagrams},
  booktitle =    {Proceedings of Euler Diagrams 2004},
  year =         {2005},
  volume =       {134},
  series =       {Electronic Notes in Theoretical Computer Science},
  pages  =       {19–-31}
}



%%%%%%%%%%%%%%%%%%%%%%%%%%%% DDDDDDD %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


@ARTICLE{dechter:gbfssatooa,
  AUTHOR = "R.~Dechter and J.~Pearl",
  TITLE =        "Generalized Best-First Search Strategies and the Optimality of A*",
  JOURNAL =      "Journal of the Association for Computing Machinery, 32(3):505–536",
  volume  =     "32",
  number =      "3",
  pages  =      "505-536",
  YEAR =         "1985"
}

@BOOK{dreben:tdpscoqf,
  AUTHOR =       "B.~Dreben and D.~Goldforb",
  TITLE =        "The Decision Problem. Solvable Classes of Quantificational Formulas",
  PUBLISHER =    "Addison Wesley Publishing Company Inc.",
  YEAR =         "1979"
}

@CONFERENCE{dunndavies:psfaip,
  author =       {H.~Dunn-Davies and R.~Cunningham},
  title =        {Propostional Statecharts for Agent Interaction Protocols},
  booktitle =    {Proceedings of Euler Diagrams 2004, Brighton, UK},
  series =       {ENTCS},
  year =         {2005},
  volume =       {134},
  pages  =       {55-75}
}


%%%%%%%%%%%%%%%%%%%%%%%%%%%% EEEEEEE %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@BOOK{ebbinghaus:fmt,
  AUTHOR =       "H.-D.~Ebbinghaus and J.~Flum.",
  TITLE =        "Finite Model Theory",
  PUBLISHER =    "Springer-Verlag",
  YEAR =         "1991"
}

@misc{eloff:icadvd,
  author =  "J.~Eloff and L.~van Zijl",
  title =   "Incremental Construction and Drawing of {V}enn Diagrams",
  note =    "citeseer.ist.psu.edu/eloff00incremental.html",
  year =    2000
}

@ARTICLE{euler:laupdsdsdpedp,
  AUTHOR =       "L.~Euler.",
  TITLE =        "Lettres a une Princesse d’Allemagne sur divers sujets de physique et de philosophie",
  JOURNAL =      "Letters",
  YEAR =         "1775",
  volume =       "2",
  pages =        "102--108",
  note =         "Berne, Socit Typographique"
}



%%%%%%%%%%%%%%%%%%%%%%%%%%%% FFFFFFF %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


@CONFERENCE{fish:aesitdrocd,
  author =       {A.~Fish and J.~Masthoff},
  title =        {An Experimental Study into the Default Reading of Constraint Diagrams},
  booktitle =    {Visual Languages and Human Centric Computing},
  year =         {2005},
  pages  =       {287--289},
  address =      {Dallas},
  month =        {September},
  publisher =    {IEEE}
}

@CONFERENCE{fish:aoed,
  author =       {A.~Fish and J.~Flower},
  title =        {Abstractions of {E}uler Diagrams},
  booktitle =    {Proceedings of Euler Diagrams 2004, Brighton, UK},
  year =         {2005},
  series =       {ENTCS},
  volume =       {134},
  pages  =       {77-101},
}

@conference{fish:arafcd,
    author      ="A.~Fish and J.~Flower, and J.~Howse",
    title       ="A Reading Algorithm for Constraint Diagrams",
    booktitle   ="IEEE Symposium on Human Centric Computing Languages and Environments, Auckland, New Zealand",
    publisher   ="IEEE",
    month =     "September",
    pages = "161-168",
    year     =2003
}

@conference{fish:crtfcd,
    author      ="A.~Fish and J.~Howse",
    title       ="Computing Reading Trees for Constraint Diagrams",
    booktitle   ="AGTIVE '03, Applications of Graph Transformations with Industrial Relevance, Charlottesville, Virginia, September",
    publisher   ="Springer-Verlag",
    pages       ="260-274",
    year        =2003
}


@TECHREPORT{fish:dmleodelmaesitdrocd,
  AUTHOR =       "A.~Fish and J.~Mashtoff",
  TITLE =        "Do Monkeys Like Elephants or Do Elephants like Monkeys? An Empirical Study into the Default Reading of Constraint Diagrams",
  INSTITUTION =  "University of Brighton",
  YEAR =         "2005",
  address =      "\texttt{http://cmis.mis.brighton.ac.uk/research/vmg/publications}"
}

@conference{fish:dedsow,
    author      = "A.~Fish and G.~Stapleton",
    booktitle   = "Proceedings of 4th International Conference on the Theory and Application of Diagrams",
    address     ="Stanford, USA",
    pages       = "109-111",
    title       = "Defining {E}uler Diagrams: Simple or What?",
    publisher   ="Springer",
    year        = 2006
}

@conference{fish:fiilbocc,
    author      = "A.~Fish and G.~Stapleton",
    booktitle   = "Proceedings of Distributed Multimedia Systems, International Workshop
     on Visual Languages and Computings",
    address     ="Grand Canyon, USA",
    pages       = "161-167",
    title       = "Formal Issues in Languages Based on Closed Curves",
    publisher   ="Knowledge Systems Institute",
    year        = 2006
}

@CONFERENCE{fish:hntded,
  author =       {A.~Fish and G.~Stapleton},
  title =        {How Not to Define {E}uler Diagrams},
  booktitle =    {Euler diagrams 2005},
  year =         {2005}
}

@CONFERENCE{fish:irwcd,
  author =       {A.~Fish and J.~Flower},
  title =        {Investigating Reasoning with Constraint Diagrams},
  booktitle =    {Visual Language and Formal Methods 2004},
  year =         {2005},
  series =       {ENTCS},
  volume =       {127},
  publisher  =   {Elsevier},
  pages =        {53-69},
  address =      {Rome, Italy}
}

@CONFERENCE{fish:tadrfcd,
  author =       {A.~Fish and J.~Howse},
  title =        {Towards a Default Reading for Constraint Diagrams},
  booktitle =    {Proceedings of 3rd International Conference on the Theory and Application of Diagrams},
  address =      {Cambridge, UK},
  series=        {LNAI},
  volume=        {2980},
  pages  =       {51-65},
  month =        {March},
  publisher =    {Springer-Verlag}
}


@ARTICLE{fish:tsoacd,
  AUTHOR =       "A.~Fish and J.~Flower and J.~Howse",
  TITLE =        "The Semantics of Augmented Constraint Diagrams",
  JOURNAL =      "Journal of Visual Languages and Computing",
  YEAR =         "2005",
  volume =       "16",
  issue =        "6",
  pages =        "541-573"
}

@conference{flower:atpwsd,
    author      ="J.~Flower and G.~Stapleton",
    booktitle   ="Proceedings of Computing: The Australasian Theory Symposium",
    address     ="Dunedin, New Zealand",
     volume     ="91",
     series     ="ENTCS",
    publisher   ="Science Direct",
    title       ="Automated Theorem Proving with Spider Diagrams",
    pages       ="116-132",
    month       ="January",
    year        = 2004
}

@conference{flower:avffmwhn,
    author      ="J.~Flower and J.~Howse and J.~Taylor and S.~Kent",
    booktitle   ="Proceedings of Human Centric Computing Languages and Environments",
    publisher   ="IEEE",
    title       ="A Visual Framework for Modelling with Heterogeneous Notations",
    pages       ="71-73",
    year        = 2002
}

@mastersthesis{flower:gcd,
    author          ="J.~Flower",
    title           ="Generating Constraint Diagrams",
    year            =2000,
    school          ="University of Brighton"
}

@conference{flower:ged,
    author      = "J.~Flower and J.~Howse",
    booktitle   = "Proceedings of 2nd International Conference on the Theory and Application of Diagrams",
    address     ="Georgia, USA",
    publisher   = "Springer-Verlag",
    title       = "Generating {E}uler Diagrams",
    pages       ="61-75",
    month       ="April",
    year        = 2002
}

@conference{flower:gpwsduh,
    author      = "J.~Flower and J.~Masthoff and G.~Stapleton",
    booktitle   = "Proceedings of Distributed Multimedia Systems, International Workshop
     on Visual Languages and Computing",
    publisher   = "Knowledge Systems Institute",
    pages       ="279-285",
    title       = "Generating Proofs with Spider Diagrams Using Heuristics",
    year        = 2004
}



@conference{flower:grpahattpwsd,
author      =   {J.~Flower and J.~Masthoff and G.~Stapleton},
booktitle =     {Proceedings of 3rd International Conference on the Theory and Application of Diagrams},
address =       {Cambridge, UK},
series=         {LNAI},
volume=         {2980},
publisher   =   {Springer},
title       =   {Generating Readable Proofs: A Heuristic Approach to Theorem Proving with Spider Diagrams},
pages       =   {166-181},
year        =   2004
}

@conference{flower:lmfed,
    author      ="J.~Flower and P.~Rodgers and P.~Mutton",
    booktitle   ="7th International Conference on Information Visualisation",
    publisher   ="IEEE Computer Society Press",
    title       ="Layout metrics for {E}uler Diagrams",
    pages       ="272-280",
    year        =2003
}


@conference{flower:nied,
    author      ="J.~Flower and J.~Howse and J.~Taylor",
    booktitle   ="International Workshop on Graph Transformation and Visual Modeling Techniques",
    publisher   ="",
    title       ="Nesting in {E}uler Diagrams",
    pages       ="99-108",
    year        = 2002
}

@ARTICLE{flower:niedssac,
  AUTHOR =       "J.~Flower and J.~Howse and J.~Taylor",
  TITLE =        "Nesting in {E}uler diagrams: syntax, semantics and construction",
  JOURNAL =      "Software and Systems Modelling",
  YEAR =         "2004",
  volume =       "3",
  pages =        "55-67",
  month =        "March",
 publisher=      "Springer"
 }



%%%%%%%%%%%%%%%%%%%%%%%%%% GGGG %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@conference{gil:cdasbu,
    author      = "J.~Gil and J.~Howse  and S.~Kent",
    booktitle   = "Proceedings of TOOLS USA 1999, Santa Barbara, California, USA",
    publisher   = "IEEE Computer Science Press",
    title       = "Constraint Diagrams: A step beyond {UML}",
    pages       = "453-463",
    month       = "August",
    year        = 1999
}

@conference{gil:fsd,
        author      = "J.~Gil and J.~Howse and S.~Kent",
        booktitle   = "Proceedings of IEEE Symposium on Visual Languages (VL99), Tokyo",
        publisher   = "IEEE Computer Society Press",
        title       = "Formalising Spider Diagrams",
        pages       = "130-137",
        month       ="September",
        year        = 1999
}

@conference{gil:pived,
        author     ="J.~Gil and J.~Howse and S.~Kent and J.~Taylor",
        title       ="Projections in {V}enn-{E}uler Diagrams",
        booktitle   ="Proc. IEEE Symposium on Visual Languages",
        month       ="September",
        publisher   ="IEEE Computer Society Press",
        pages       ="119--126",
        year        =2000
}


@ARTICLE{gil:psop,
  AUTHOR =       "J.~Gil and J.~Howse and E.~Tulchinsky",
  TITLE =        "Positive semantics of projections",
  JOURNAL =      "Journal of Visual Languages and Computing",
  YEAR =         "2001",
  volume =       "13",
  number =       "2",
  pages =        "197-227",
  month =        "April"
}


@conference{gil:tafocd,
        author      ="J. Gil and J. Howse and S. Kent",
        title       ="Towards a formalization of constraint diagrams",
        booktitle   ="Proc IEEE Symposia on Human-Centric Computing (HCC '01), Stresa, Italy",
        publisher   ="IEEE Computer Society Press",
        month       ="September",
        pages       ="72-79",
        year        =2001
}


@misc{gil:tcde,
        author      ="J. Gil and Y. Sorkin",
        title       ="The Constraint Diagrams Editor",
        note        ="Available at www.cs.technion.ac.il/Labs/ssdl/research/cdeditor/"
}


@conference{gil:tdsm,
  AUTHOR =       "J.~Gil and S.~Kent",
  TITLE =        "Three dimensional software modeling",
  YEAR =         "1998",
  booktitle =    "ICSE 98",
  pages =        "105--114",
  publisher =    "IEEE"
}

@CONFERENCE{good:vplsanpchddlc,
  author =       {J.~Good},
  title =        {{VPL}s and Novice Program Comprehension: How do Different Languages Compare?},
  booktitle =    {15th IEEE Symposium on Visual Languages},
  year =         {1999},
  pages  =       {262--269},
  publisher =    {IEEE Computer Society Press}
}

@BOOK{greaves:tpsod,
  AUTHOR =       "M.~Greaves",
  TITLE =        "The Philosophical Status of Diagrams",
  PUBLISHER =    "CSLI Publications",
  YEAR =         "2002"
}

@misc{gurr:todrdcp,
        author      ="C. Gurr and J. Lee and K. Stenning",
        title       ="Theories of diagrammatic reasoning: Distinguishing component problems",
        howpublished="Minds and Machines",
        pages       ="533--557",
        year        =1998
}

@CONFERENCE{gurr:ttpdosed,
  author =       {C.~Gurr and K.~Tourlas},
  title =        {Towards the Principled Design of Software Engineering Diagrams},
  booktitle =    {Proceedings of 22nd International Conference on Software Engineering},
  year =         {2000},
  pages  =       {509--518},
  publisher =    {ACM Press}
}


%%%%%%%%%%%%%%%%%%%%%%%%%%%% HHHHH %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%



@ARTICLE{hammer:evl,
  AUTHOR =       "E.~Hammer and S.~J.~Shin",
  TITLE =        "Euler's Visual Logic",
  JOURNAL =      "History and Philosophy of Logic",
  YEAR =         "1998",
  pages =        "1-29"
}

@book{hammer:lavi,
    author      = "E. Hammer",
    publisher   = "CSLI Publications",
    title       = "Logic and Visual Information",
    year        = 1995
}


@INCOLLECTION{hammer:tamtofd,
  AUTHOR =       "E. Hammer and N. Danner",
  TITLE =        "Towards a model theory of {V}enn diagrams",
  BOOKTITLE =    "Logical Reasoning with Diagrams",
  PUBLISHER =    "Oxford University Press",
  YEAR =         "1996",
  editor =       "G.~Allwein and J.~Barwise",
  pages =        "109-127"
}

@ARTICLE{hammer:tamtovd:02,
  AUTHOR =       "E.~Hammer and N.~Danner",
  TITLE =        "Towards a model theory of {V}enn diagrams",
  JOURNAL =      "Journal of Philosophical Logic",
  YEAR =         "1996",
  volume =       "25",
  number =       "4",
  pages =        "463-482"
}




@conference{harel:ovf,
        author      ="D. Harel",
        title       ="On visual formalisms",
        booktitle   ="Diagrammatic Reasoning",
        editor      ="J. Glasgow and N. H. Narayan and B. Chandrasekaran",
        publisher   ="MIT Press",
        pages       ="235--271",
        year        =1998
}

@CONFERENCE{hayes:ckcio,
  author =       {P.~Hayes and T.~Eskridge and R.~Saavedra and T.~Reichherzer and M.~Mehrotra and D.~Bobrovnikoff},
  title =        {Collaborative Knowledge Capture in Ontologies},
  booktitle =    {Proceedings of the 3rd International Conference on Knowledge Capture},
  year =         {2005},
  pages =        {99-106}
}



@conference{hegarty:ditmaitwrbiaev,
    author      =  {M. Hegarty},
    booktitle =    {Proceedings of 3rd International Conference on the Theory and Application of Diagrams},
  address =        {Cambridge, UK},
  series=          {LNAI},
  volume=          {2980},
    publisher   =  {Springer},
    title       =  {Diagrams in the Mind and in the World: Relations between Internal and External Visualizations},
    pages       =  {1--13},
    year   =       2004
}

@conference{howse:asacdrs,
        author      ="J. Howse and F. Molina and J. Taylor",
        title       ="A sound and complete diagrammatic reasoning system",
        booktitle   ="Proceedings. ASC 2000: 3rd IASTED International Conference on Artificial Intelligence and Soft Computing",
        address     ="Banff",
        publisher   ="IASTED/ACTA Press",
        pages       ="402-408",
        year        =2000
}

@conference{howse:cried,
    author      = "J. Howse and G. Stapleton and J. Flower and J. Taylor",
    booktitle   = "Proceedings of 2nd International Conference on the Theory and Application of Diagrams",
    publisher   = "Springer",
    address     = "Georgia, USA",
    title       = "Corresponding Regions in {E}uler Diagrams",
    pages       ="76-90",
    month       ="April",
    year        = 2002
}

@conference{howse:odtat,
    author      = "J. Howse and F. Molina and S-J. Shin and J. Taylor",
     booktitle   = "Proceedings of 2nd International Conference on the Theory and Application of Diagrams",
    publisher   = "Springer",
    address     = "Georgia, USA",
    publisher   = "Springer",
    title       = "On Diagram Tokens and Types",
    pages       ="146-160",
    month       ="April",
    year        = 2002
}

@conference{howse:otcaeosds,
    author      = "J. Howse and F. Molina and J. Taylor",
    booktitle   = "Proceedings of 1st International Conference on the Theory and Application of Diagrams",
    publisher   = "Springer",
    address     = "Edinburgh, UK",
    title       = "On the completeness and expressiveness of spider diagram systems",
    pages       = "26-41",
    month       = "September",
    year        = 2000
}

@ARTICLE{howse:pvm,
  AUTHOR =       "J.~Howse and S.~Schuman",
  TITLE =        "Precise Visual Modelling",
  JOURNAL =      "Journal of Software and Systems Modeling",
  volume =       "4",
  issue =        "3",
  pages =        "310-325",
  YEAR =         "2005"
}

@conference{howse:rwsd,
    author      = "J. Howse and F. Molina  and J. Taylor and S. Kent",
    booktitle   = "Proceedings of IEEE Symposium on Visual Languages (VL99), Tokyo",
    publisher   = "IEEE Computer Society Press",
    title       = "Reasoning with Spider Diagrams",
    pages       = "138-147",
    month       = "September",
    year`       = 1999
}

@conference{howse:sasacdrs,
    author      = "J. Howse and F. Molina and J. Taylor",
    booktitle   = "Proceedings VL 2000: IEEE Symposium on Visual Languages, Seattle, USA",
    publisher   = "IEEE Computer Society Press",
    title       = "{SD2}: A sound and complete diagrammatic reasoning system",
    pages       = "127-136",
    year        = 2000
}

@ARTICLE{howse:sd,
  author    =     {J.~Howse and G.~Stapleton and J.~Taylor.},
  title     =     {Spider Diagrams},
  JOURNAL   =     {LMS Journal of Computation and Mathematics},
  volume    =     {8},
  pages     =     {145--194},
  year      =     {2005}
}

@article{howse:sdadrs,
        author      ="J. Howse and F. Molina and J. Taylor and S. Kent and J. Gil",
        title       ="Spider Diagrams: A Diagrammatic Reasoning System",
        journal     ="Journal of Visual Languages and Computing",
        volume      ="12",
        number      ="3",
        month       ="June",
        pages       ="299--324",
        year        =2001
}

@conference{howse:tsatsids,
    author      ="J. Howse and F. Molina and S-J. Shin and J. Taylor",
    booktitle   ="Proceedings FOIS-2001:  2nd International Conference on
                    Formal Ontology in Information Systems, Maine, USA",
    publisher   ="ACM Press",
    title       ="Type-syntax and Token-syntax in Diagrammatic Systems",
    pages       ="174--185",
    year        = 2001
}



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% JJJJJJJJJJ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@BOOK{jamnik:mrwd,
  AUTHOR =       "M.~Jamnik",
  TITLE =        "Mathematical Reasoning with Diagrams",
  PUBLISHER =    "CSLI",
  YEAR =         "2001",
}

@CONFERENCE{jamnik:aodr,
  author =       {M.~Jamnik and A.~Bundy and I.~Green},
  title =        {Automation of Diagrammatic Reasoning},
  booktitle =    {Proceedings of the 15th International Joint Conference on Artificial Intelligence},
  year =         {1997},
  volume =       {1},
pages  =       {528--533},
  publisher =    {Morgan Kaufmann Publishers},
}



@conference{john:etnocied,
    author      = "Chris John and Andrew Fish and John Howse and John Taylor",
    booktitle   = "Accepted for the 4th International Conference on the Theory and Application of Diagrams",
    pages       = "267-282",
    address     ="Stanford, USA",
    title       = "Exploring the notion of Clutter in {E}uler diagrams",
    publisher   ="Springer",
    year        = 2006
}

@conference{john:pcied,
    author      ="C.~John",
    booktitle   ="{E}uler Diagrams 2004",
    volume =     "134",
    series =     "ENTCS",
    title       ="Projected Contours in {E}uler Diagrams",
    pages       ="103--126",
    year        =2005
}

@conference{john:rwpc,
    author      ="C.~John",
     booktitle =    {Proceedings of 3rd International Conference on the Theory and Application of Diagrams},
  address =      {Cambridge, UK},
  series=        {LNAI},
  volume=        {2980},
    publisher   ="Springer",
    title       ="Reasoning with Projected Contours",
    pages       ="147-150",
    year        =2004
}



%%%%%%%%%%%%%%%%%%%%%%%%%%% KKKKKKK %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


@conference{kent:cdviioom,
author =    "S. Kent",
title =     "Constraint Diagrams: Visualizing Invariants in Object Oriented Modelling",
month =     "October",
year =      "1997",
pages =     "327-341",
booktitle = "Proceedings of OOPSLA97",
publisher = "ACM Press"
}

@incollection{kent:ctiaiomwo,
    author      = "S. Kent and J. Howse",
    title       = "Constraint trees. In Advances in object modelling with {OCL}",
    Editors     = "A Clark and J Warmer",
    publisher   = "Springer Verlag",
    year        = "2002"
}

@conference{kent:mvatcl,
        author      ="S. Kent and J. Howse",
        title       ="Mixing Visual and Textual Constraint Languages",
        booktitle   ="Proceedings of UML99",
        year        ="1999"
}

@CONFERENCE{kestler:edfvaged,
  author =       {H.~Kestler and A.~Muller and H.~Liu and D.~Kane and B.~Zeeberg and J.~Weinstein},
  title =        {{E}uler diagrams for visualizing annotated gene expression data},
  booktitle =    {Proceedings of {E}uler Diagrams 2005},
  year =         {2005},
  address =      {Paris},
  month =        {September}
}

@ARTICLE{kestler:gvdanmfvcgsr,
  AUTHOR =       "H.~Kestler and A.~Muller and T.~Gress and M.~Buchholz",
  TITLE =        "Generalized {V}enn Diagrams: A New Method for Visualizing Complex Genetic Set Relations",
  JOURNAL =      "Journal of Bioinformatics",
  YEAR =         "2005",
  volume =       "21",
  number =       "8",
  pages =        "1592-1595"
}



@TECHREPORT{kiesner:voavnofocl,
  AUTHOR =       "C. Kiesner and G. Taentzer and J. Winkelmann",
  TITLE =        "{V}isual {O}{C}{L}: A {V}isual {N}otation of the {O}bject {C}onstraint {L}anguage",
  INSTITUTION =  "Technical University of Berlin",
  YEAR =         "2002",
  number =       "2002/23"
}

@CONFERENCE{kim:vofs,
  author =       {S.-K.~Kim and D.~Carrington},
  title =        {Visualization of Formal Specifications},
  booktitle =    {6th Aisa Pacific Software Engineering Conference},
  pages  =       {102--109},
  address =      {Los Alamitos, CA, USA},
  publisher =    {IEEE Computer Society Press},
  year =         {1999}
}

@conference{kuljis:acoesacdaiteoud,
    author      = "J. Kuljis and L. Baldwin and R. Scoble",
    booktitle   = "Proceedings of 14th Workshop on the Psychology of Programming Interest Group",
    publisher   = "",
    pages       = "1--14",
    title       = "A Comparison of Empirical Study and Cognitive Dimensions Analysis in the Evaluation of UML Diagrams",
    year        = 2002
}



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% LLLLL %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


@article{larkin:wadiswttw,
        author      ="J. Larkin and H. Simon",
        title       ="Why a Diagram is (Sometimes) Worth Ten Thousand Words",
        journal     ="Journal of Cognitive Science",
        volume      ="11",
        pages       ="65--99",
        year        =1987
}


@incollection{lemon:cteovl,
  AUTHOR =       "O.~Lemon",
  editor =       "D.~Barker-Plummer and D.~I.~Beaver and J.~van~Benthem and P.~Scotto\hspace{2pt}di\hspace{2pt}Luzio",
  TITLE =        "Comparing the Efficacy of Visual Languages",
  booktitle     ="Words, Proofs and Diagrams",
  pages =        "47-69",
  PUBLISHER =    "CSLI Publications",
  YEAR =         "2002"
}

@ARTICLE{lemon:slatcodr,
  AUTHOR =       "O.~Lemon and I.~Pratt",
  TITLE =        "Spatial Logic and the Complexity of Diagrammatic Reasoning",
  JOURNAL =      "Machine GRAPHICS and VISION",
  YEAR =         "1997",
  volume =       "6",
  number =       "1",
  pages =        "89-108",
}

@phdthesis{lovdahl:taveeftlotsw,
  AUTHOR =       "J.~Lovdahl",
  TITLE =        "Towards a Visual Editing Environment for the Languages of the Semantic Web",
  SCHOOL =       "Linkoping University",
  YEAR =         "2002"
}




%%%%%%%%%%%%%%%%%%%%%%%%%%%%% MMMMMMMM %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%5

@INBOOK{mclaughlin:ce,
  AUTHOR =       "J.~McLaughlin and S>~Gallinger",
  TITLE =        "The Basic Science of Oncology",
  CHAPTER =      "Cancer Epidemiology",
  PUBLISHER =    "McGraw-Hill",
  YEAR =         "2004",
}


@CONFERENCE{meyer:fovmn,
  author =       {B.~Meyer},
  title =        {Formalization of Visual Mathematical Notations},
  booktitle =    {AAAI Symposium on Diagrammatic Reasoning},
  year =         {1997},
  address =      {Boston, USA},
  month =        {November}
}

@MISC{mod:tposcside,
  author =       {{UK Ministry of Defence}},
  title =        {The Procurement of Saftey Critical Software in Defence Equipment},
  year =         {1993},
  note =         {MOD Interim Standard 00-55}
}

@phdthesis{molina:rwevpds,
    author      = "F. Molina",
    school      = "University of Brighton",
    address     = "",
    title       = "Reasoning with extended {V}enn-{P}eirce diagrammatic systems",
    year        = 2001
}

@article{more:otcovd,
        author      ="T. More",
        title       ="On the construction of {V}enn diagrams",
        journal     ="Journal of Symbolic Logic",
        volume      ="23",
        pages       ="303--304",
        year        =1959
}


@CONFERENCE{mutton:dgied,
  author =       {P. Mutton and P. Rodgers and J. Flower},
  title =        {Drawing Graphs in {E}uler Diagrams},
   booktitle =    {Proceedings of 3rd International Conference on the Theory and Application of Diagrams},
  address =      {Cambridge, UK},
  series=        {LNAI},
  volume=        {2980},
  pages  =       {66-81},
  month =       {March},
  publisher =    {Springer}
}



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% OOOO %%%%%%%%%%%%%%%%%%%%%%%%%%%%%


@CONFERENCE{oberlander:htmm,
  author =       {J.~Oberlander and K.~Stenning and R.~Cox},
  title =        {Hyperproof: The Multimodal Moral},
  booktitle =    {Second Conference on Information-Theoretic Approaches to Logic, Language and Computation},
  year =         {1996}
}



@MISC{omg:o2.0sr1.6,
  author =       "O{M}{G}",
  title =        "{OCL} 2.0 Specification, revision 1.6",
  howpublished = "Available from http://www.omg.org",
  year =         "2003"
}

@MISC{omg:u2.0s,
  author =       "O{M}{G}",
  title =        "U{M}{L} 2.0 Specification",
  howpublished = "Available from http://www.omg.org",
  year =         "2004"
}

@misc{omg:usv1.3,
        author      ="O{M}{G}",
        howpublished="Available from www.omg.org.",
        title       ="U{M}{L} Specification, Version 1.3.",
        note        =""
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPPPPPP %%%%%%%%%%%%%%%%%%%%%%%%%%%%%



@CONFERENCE{patrascoiu:eoeiy,
  author =       {O.~Patrascoiu and P.~Rodgers},
  title =        {Embedding {OCL} Expressions in {YATL}},
  booktitle =    {Proceedings of the {OCL} and Model Driven Engineering Workshop},
  year =         {2004},
  month =        {October}
}

@CONFERENCE{patrascoiu:metwsuy,
  author =       {O.~Patrascoiu},
  title =        {Mapping {EDOC} to Web Services using {YATL}},
  booktitle =    {Proceedings of the 8th International IEEE Enterprise Distributed
Object Computing Conference (EDOC 2004)},
  year =         {2004},
  pages  =       {12},
  month =        {September}
}


@conference{patrascoiu:mtiysae,
    author      = "Octavian Patrascoiu",
    booktitle   = "Technical Report",
    pages       ="",
    title       = "Model Transformations in {YATL}. Studies and Experiments",
    year        = 2004
}


@CONFERENCE{patrascoiu:tfdr,
  author =       {O.~Patrascoiu and S.~Thompson and P.~Rodgers},
  title =        {Tableaux for Diagrammatic Reasoning},
  booktitle =    {Proceedings of the Eleventh International Conference on Distributed
Multimedia Systems, International Workshop on Visual Languages and
Computing},
  year =         {2005},
  pages  =       {279-286},
  month =        {September},
  publisher =    {Knowledge Systems Institute}
}

@conference{patrascoiu:ttatlrmv1.0,
    author      = "Octavian Patrascoiu",
    booktitle   = "Technical Report",
    title       = "{YATL}: Yet Another Transformation Language - Reference Manual Version 1.0",
    year        = 2004
}

@conference{patrascoiu:yyatl,
    author      = "Octavian Patrascoiu",
    booktitle   = "Proceedings of the 1st European {MDA} Workshop, {MDA-IA}",
    pages       = "83-90",
    title       = "{YATL}: Yet Another Transformation Language",
    month   =  "January 2004",
    year        = 2004
}

@book{peirce:cp,
        author      ="C. Peirce.",
        title       ="Collected Papers",
        volume      ="4",
        publisher   ="Harvard University Press",
        year        =1933
}

@book{polya:htsi,
  AUTHOR = "G. ~Polya",
  TITLE = "How to Solve It",
  PUBLISHER =    "Princeton University Press",
  YEAR =         "1957"
}


@CONFERENCE{puigsegur:vlpbmodt,
  author =       {J.~Puigsegur and J.~Agusti},
  title =        {Visual Logic Programming by Means of Diagram Transformations},
  booktitle =    {joint Conference on Declarative Programming},
  year =         {1998}
}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% RRRRRRR %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%



@MISC{rector:sviowl,
  author =       "A.~Rector",
  title =        "Specifying Values in OWL: Value Partitions
and Value Sets",
  howpublished = "W3C Editors Draft 02",
  year =         "2005"
}


@BOOK{roberts:tegocsp,
  AUTHOR =       "D.~D.~Roberts",
  TITLE =        "The Existential Graphs of Charles S. Peirce",
  PUBLISHER =    "Mouton",
  YEAR =         "1973"
}




@CONFERENCE{rodgers:dedd,
  author =       {P. Rodgers and P. Mutton and J. Flower },
  title =        {Dynamic {E}uler Diagram Drawing},
  year =         {2004},
 booktitle=  {Visual Languages and Human Centric Computing, Rome, Italy},
 pages      ="147-156",
 month =        {September},
 publisher =    {IEEE Computer Society Press},
}

@ARTICLE{ruskey:asovd,
  AUTHOR =       "F.~Ruskey",
  TITLE =        "A Survey of {V}enn Diagrams",
   JOURNAL =      "Electronic Journal of Combinatorics",
    note   =    "www.combinatorics.org/Surveys/ds5/VennEJC.html",
  YEAR =         "1997"
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% SSSSSSS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


@CONFERENCE{sawamura:javrswdas,
  author =       {H.~Sawamura and K.~Kiyozuka},
  title =        {{JV}enn: A Visual Reasoning System with Diagrams and Sentences},
  booktitle =    {Proceedings of 1st International Conference on the Theory and Application of Diagrams},
  publisher =       {Springer-Verlag},
  address =     {Edinburgh, UK},
  series =      {LNAI},
  volume =      {1889},
  pages = {271-285},
  year =         {2000}
}

@conference{scotto:pualovd,
        author      ="P. Scotto~di~Luzio",
        title       ="Patching up a logic of {V}enn diagrams",
        booktitle   ="Proceedings 6th CSLI Workshop on Logic, Language and Computation",
        publisher   ="CSLI Publications",
        year        = "2000"
}

@conference{shimojima:iaecogrsasg,
    author      ="A. Shimojima",
  booktitle =    {Proceedings of 3rd International Conference on the Theory and Application of Diagrams},
  address =      {Cambridge, UK},
  series=        {LNAI},
  volume=        {2980},
    publisher   ="Springer",
    title       ="Inferential and Expressive Capacities of Graphical Representations: Survey and Some Generalizations",
    pages       ="18--21",
    year        = 2004
}


@incollection{shimojima:lrwd,
    author      ="A. Shimojima",
    publisher   ="Oxford University Press",
    title       ="Operational constraints in diagrammatic reasoning",
    booktitle   ="Logical Reasoning with Diagrams",
    note        ="Edited by Gerard Allwein and Jon Barwise",
    pages       ="27-48",
    year        =1996
}


@incollection{shin:staovrwvd,
    author      ="S.-J.~Shin",
    publisher   ="Oxford University Press",
    title       ="Situation-Theoretic Account of Valid Reasoning with {V}enn Diagrams",
    booktitle   ="Logical Reasoning with Diagrams",
    editor      ="G.~Allwein and J.~Barwise",
    pages       ="81-108",
    year        =1996
}

@BOOK{shin:tilopg,
  AUTHOR =       "S.-J.~Shin",
  TITLE =        "The Iconic Logic of Peirce's Graphs",
  PUBLISHER =    "Bradford Book",
  YEAR =         "2002"
}


@book{shin:tlsod,
    author      = "S.-J. Shin",
    publisher   = "Cambridge University Press",
    title       = "The Logical Status of Diagrams",
    year        = 1994
}

@article{stenning:ialihrasi,
  author =       {K.~Stenning and P.~Yule},
  title =        {Image and Language in Human Reasoning: A Syllogistic Illustration},
  journal =    {Cognitive Psychology},
  year =         {1997},
  pages  =       {109--159},
}


@TECHREPORT{stapleton:afatpieds,
  AUTHOR =       "G.~Stapleton and J.~Masthoff and J.~Flower and A.~Fish and J.~Southern",
  TITLE =        "Appendices for Automated Theorem Proving in Euler Diagram Systems",
  INSTITUTION =  "University of Brighton",
  YEAR =         "2006",
  number =       "Technical Report VMG06.2"
}


@conference{stapleton:acdrs,
    author      = "G. Stapleton and J. Howse and J. Taylor",
    booktitle   = "Proceedings of International Conference on Visual Languages and Computing",
    publisher   = "Knowledge Systems Insitute",
    title       = "A Constraint Diagram Reasoning System",
    pages       ="263-270",
    year        = 2003
}


@ARTICLE{stapleton:adcdrs,
  AUTHOR =       "G.~Stapleton and J.~Howse and J.~Taylor",
  TITLE =        "A Decidable Constraint Diagram Reasoning System",
  JOURNAL =      "Journal of Logic and Computation",
  YEAR =         "2005",
  volume =       "15",
  number =       "6",
  pages =        "975-1008",
  month =        "December"
}

@CONFERENCE{stapleton:anlftvolar,
  author =       {G.~Stapleton and S.~Thompson and A.~Fish and J.~Howse and J.~Taylor},
  title =        {A New Language for the Visualisation of Logic and Reasoning},
 booktitle =    {11th International Conference on Distributed Multimedia Systems, International Workshop on
  Visual Languages and Computing},
  year =         {2005},
  month =        {September},
 publisher =    {Knowledge Systems Institute}
}

@CONFERENCE{stapleton:asf,
  author =       {G.~Stapleton and J.~Howse and K.~Toller},
  title =        {On Spiders' Feet},
  booktitle =    {{E}uler Diagrams 2005},
  year =         {2005}
}

@CONFERENCE{stapleton:asorsboed,
  author =       {G.~Stapleton},
  title =        {A Survey of Reasoning Systems Based on {E}uler Diagrams},
  booktitle =    {Proceedings of Euler Diagrams 2004, Brighton, UK},
  year =         {2005},
  pages =        {127-151},
  volume =       {134},
  series =       {ENTCS}
}

@conference{stapleton:eteosds,
    author      = "G.~Stapleton and J.~Howse",
    booktitle   = "Proceedings of Distributed Multimedia Systems, International Workshop
     on Visual Languages and Computings",
    address     ="Grand Canyon, USA",
    pages       = "129--138",
    title       = "Enhancing the Expressiveness of Spider Diagram Systems",
    publisher   ="Knowledge Systems Institute",
    year        = 2006
}


@conference{stapleton:gs,
    author      = "G.~Stapleton and J.~Howse and K.~Toller",
    booktitle   = "4th International Conference on the Theory and Application of Diagrams",
    address     ="Stanford, USA",
    pages       = "148-150",
    title       = "Generalizing Spiders",
    publisher   ="Springer",
    year        = 2006
}

@PHDTHESIS{stapleton:rwcd,
  AUTHOR =       "G.~Stapleton",
  TITLE =        "Reasoning with Constraint Diagrams",
  SCHOOL =       "University of Brighton",
  publisher  =    "British Computer Society",
  YEAR =         "2004",
  source =       "http://www.bcs.org/server.php?show=conWebDoc.2842",
  month =        "August"
}



@ARTICLE{stapleton:teosd,
  AUTHOR =       "G.~Stapleton and S.~Thompson and J.~Howse and J.~Taylor",
  TITLE =        "The Expressiveness of Spider Diagrams",
  JOURNAL =      "Journal of Logic and Computation",
  YEAR =         "2004",
  volume =       "14",
  number =       "6",
  pages =        "857-880",
  month =        "December"
}

@CONFERENCE{stapleton:teosdawc,
  author =       {G.~Stapleton and J.~Howse and J.~Taylor and S.~Thompson},
  title =        {The Expressiveness of Spider Diagrams Augmented with Constants},
  year =         {2004},
 booktitle=      {Visual Languages and Human Centric Computing, Rome, Italy},
 pages  =        {91-98},
 month =         {September},
 publisher =     {IEEE Computer Society Press},
}

@conference{stapleton:wcsds,
    author      ="G. Stapleton and J. Howse and J. Taylor and S. Thompson",
   booktitle =    {Proceedings of 3rd International Conference on the Theory and Application of Diagrams},
  address =      {Cambridge, UK},
  series=        {LNAI},
  volume=        {2980},
    publisher   ="Springer",
    title       ="What Can Spider Diagrams Say?",
    pages       ="112-127",
    year        = 2004
}

@incollection{swoboda:acsotdaiohrs,
    author      = "N. Swoboda and G. Allwein",
    booktitle   = "Logical and Computational Aspects of Model-Based Reasoning",
    publisher   = "Kluwer Academic Publishers",
    title       = "A case study of the design and implementation of heterogeneous reasoning systems",
    editor      ="L.~Magnani and N.~J.~Neressian and C.~Pizzi",
    pages       ="1--18",
    year        = 2002
}

@conference{swoboda:hrwevdcncaf,
    author      = "N. Swoboda and G. Allwein",
    booktitle   = "Proceedings of Euler Diagrams 2004",
    publisher   = "Elsevier Science",
    series      = "ENTCS",
    volume      = "134",
    title       = "Heterogeneous Reasoning with {E}uler/{V}enn Diagrams Containing Named Constants and {FOL}",
    year        = 2005
}

@incollection{swoboda:ievrs,
    author      = "N. Swoboda",
    booktitle   = "Diagrammatic Representation and Reasoning",
    publisher   = "Springer-Verlag",
    title       = "Implementing {E}uler/{V}enn  Reasoning Systems",
    editor      = "M.~Anderson and B.~Meyer and P.~Olivier",
    pages       = "371--386",
    year        = 2001
}

@conference{swoboda:mhs,
    author      = "N. Swoboda and G. Allwein",
    booktitle   = "Proceedings of 2nd International Conference on the Theory and Application of Diagrams",
    address     = "Gardens, Georgia, USA",
    publisher   = "Springer-Verlag",
    title       = "Modeling Heterogeneous Systems",
    series      = "LNAI",
    volume      = "2317",
    pages       = "131-145",
    year        = 2002
}

@conference{swoboda:ticoevd,
    author      = "N.~Swoboda and J.~Barwise",
    booktitle   = "Proceedings LICS workshop on Logic and Diagrammatic Information",
    title       = "The Information Content of {E}uler/{V}enn Diagrams",
    year        = 1998
}



@conference{swoboda:udttvevhaevfhroi,
    author      = "N. Swoboda and G. Allwein",
    booktitle   = "Proceedings of GT-VMT",
    publisher   = "Elsevier Science",
    series      = "ENTCS",
    title       = "Using {DAG} transformations to Verify {E}uler/{V}enn Homogeneous and {E}uler/{V}enn {FOL} Heterogeneous Rules of Interence",
    year        = 2002
}

@article{swoboda:udttvevhaevfhroi:02,
    author =    {N.~Swoboda and G.~Allwein},
    title =     {Using {DAG} Transformations to Verify {E}uler/{V}enn Homogeneous and {E}uler/{V}enn {FOL} Heterogeneous Rules of Inference},
    journal =   {Journal on Software and System Modeling},
    year =      {2004},
    volume =    {3},
    number =    {2},
    pages =     {136--149}
}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TTTTTT %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


@CONFERENCE{thievre:ueditle,
  author =       {J.~Thi`evre and M.~Viaud and A.~ Verroust-Blondet},
  title =        {Using Euler Diagrams in Traditional Library Environments},
  booktitle =    {Euler Diagrams 2004},
  year =         {2005},
  volume =       {134},
  series =       {ENTCS},
  pages  =       {189-202},
  publisher =    {ENTCS}
}




%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% UUUUUUUUUU %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% VVVV  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%



@article{venn:otdamropar,
        author      ="J. Venn",
        title       ="On the diagrammatic and mechanical representation of propositions and reasonings",
        journal     ="Phil.Mag",
        year        =1880
}


@CONFERENCE{verroust:etdoedfutes,
  author =       {A.~Verroust and M.-L.~Viaud},
  title =        {Ensuring the Drawability of {E}uler Diagrams for up to Eight Sets},
  booktitle =    {Proceedings of 3rd International Conference on the Theory and Application of Diagrams},
  address =      {Cambridge, UK},
  series=        {LNAI},
  volume=        {2980},
  pages  =       {128--141},
  publisher =    {Springer},
  year =         {2004}
}




%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% WWWWWWW %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@book{warmer:toclpmwu,
        author      ="J. Warmer and A. Kleppe",
        title       ="The Object Constraint Language: Precise Modeling with UML",
        publisher   ="Addison-Wesley",
        year        =1998
}



@MASTERSTHESIS{winkelmann:sovavotocl,
  AUTHOR =       "Jessica Winkelmann",
  TITLE =        "Specification of {V}isual{O}{C}{L}: {A} {V}isualisation of the
   {O}bject {C}onstraint {L}anguage",
  SCHOOL =       "TU Berlin",
  YEAR =         "2005",
  note =         "(in German)"
}


@CONFERENCE{winterstein:ddadtp,
  author =       {D.~Winterstein and A.~Bundy and C.~Gurr},
  title =        {Dr {D}oodle: A Diagrammatic Theorem Prover},
  booktitle =    {Proceedings of The International Joint Conference on Automated Reasoning},
  year =         {2004},
  series =       {LNCS},
  publisher =    {Springer-Verlag}
}

@CONFERENCE{winterstein:odbtrapp,
  author =       {D.~Winterstein and A.~Bundy and M.~Jamnik},
  title =        {On Differences Between the Real and Physical Plane},
  booktitle =    {Proceedings of 3rd International Conference on the Theory and Application of Diagrams},
  year =         {2004},
  series =       {LNAI},
  volume =       {2980},
  pages  =       {29-31},
  month = {March},
  publisher =    {Springer-Verlag}
}

@BOOK{wos:afcitwocygtar,
  AUTHOR =       "L.~Wos and G.~Pieper",
  TITLE =        "A Fascinating Country in the World of Computing Your Guide to Automated Reasoning",
  PUBLISHER =    "World Scientific",
  YEAR =         "1999"
}



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ZZZZZZZ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@ARTICLE{zhang:ridct,
  AUTHOR =       {J.~Zhang and D.~Norman},
  TITLE =        {Representations in Distributed Cognitive Tasks},
  JOURNAL =      {Cognitive Science},
  YEAR =         {1994},
  pages =        {87--122},
  vol =          {18}
}

@CONFERENCE{zhao:arbmodtofep,
  author =       {Y.~Zhao and J.~L\"{o}vdahl},
  title =        {A Reuse Based Method of Developing the Ontology for E-Procurement},
    booktitle = {Proceedings of the Nordic Confernce on Web Services},
    year = {2003},
    pages = {101-112}
}




%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
