% Misc.
@string{ludocs = {Leiden University, Department of Computer Science}}
@string{uu = {Utrecht University}}

% journals

@string{msics = {Mathematical Structures in Computer Science}} % abbrev.
@string{ai    = {Acta Informaticae}}
@string{adm   = {Annals of Discrete Math.}}
@string{tcs   = {Theoretical Computer Science}}
@string{jgt   = {J. Graph Theory}}
@string{sf    = {Semigroup Forum}}
@string{dm    = {Discrete Math.}}
@string{ipl   = {Inf. Proc. Letters}}
@string{dam   = {Discrete Applied Math.}}
@string{fi    = {Fundamenta Informaticae}}
@string{joa   = {Journal of Algorithms}}
@string{algorithmica = {Algorithmica}}
@string{joca  = {J. Combin. Theory, Ser. A}}
@string{jocb  = {J. Combin. Theory, Ser. B}}
@string{jcs   = {J. Computer and System Sci.}}
@string{siamdisc = {SIAM J. on Discrete Math}}
@string{siamappl = {SIAM J. Appl. Math}}
@string{jams     = {J. Austral. Math. Soc.}}
@string{bsmbsa   = {Bull. Soc. Math. Belg. Ser. A}}
@string{jstunse  = {J. Shanghai Teach. Univ., Nat. Sci. Ed.}}
@string{amm      = {Amer. Math. Monthly}}
@string{ejc      = {European J. Combin.}}
@string{jacm     = {J. ACM.}}

% series
@string{lncs  = {Lecture Notes in Computer Science}}

% publishers

@string{sv    = {Springer-Verlag}}
@string{csp   = {Computer Science Press}}
@string{mh    = {McGraw Hill}}
@string{aw    = {Addison Wesley}}
@string{cup   = {Cambridge University Press}}
@string{ph    = {Prentice Hall}}
@string{nh    = {North-Holland}}
@string{wiley = {Wiley}}
@string{osp   = {Oxford Science Publications}}
@string{oup   = {Oxford University Press}}
@string{ws    = {World Scientific}}

<HR><A NAME="heeren2002parametric"></A>
<PRE>
@techreport{heeren2002parametric,
    title       = "Parametric Type Inferencing for Helium",
    author      = "Bastiaan Heeren and Jurriaan Hage",     
    month       = "August",   
    year        = "2002", 
    institution = "Institute of Information and Computing Science",
    address     = "University Utrecht, Netherlands",
    note        = "Technical Report",
    number      = "UU-CS-2002-035",
}  
</PRE>
     
<HR><A NAME="heeren2002generalizing"></A>
<PRE>
@techreport{heeren2002generalizing,
    title       = "Generalizing Hindley-Milner Type Inference Algorithms",
    author      = "Bastiaan Heeren and Jurriaan Hage and Doaitse Swierstra",
    month       = "July",
    year        = "2002",
    institution = "Institute of Information and Computing Science",
    address     = "University Utrecht, Netherlands",
    note        = "Technical Report",
    number      = "UU-CS-2002-031",
}
</PRE>

<pre>
@inproceedings{HHW:euler,
    author = {J. Hage and T. Harju and E. Welzl},
    title = {Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Swithing Classes},
    year = {2002},
    category = {complete},
    volume = {2505},
    booktitle = {Graph Transformation, First Int. Conf, ICGT 2002},
    editor = {A. Corradini and H. Ehrig and H.-J. Kreowski and G. Rozenberg},
    series = lncs,
    publisher = sv,
    address = {Berlin},
    pages = {48--60}}
</pre>

<hr> 
<pre> 
@phdthesis{H:thesis,
    author = {J. Hage},
    school = {LIACS},
    title = {Structural Aspects Of Switching Classes},
    year = {2001},
    note = {http://www.cs.uu.nl/people/jur/2s.html}
    }
</pre>

<hr> 
<pre>
@techreport{H:enummultisets,
    author = {J. Hage},
    title = {Enumerating submultisets of multisets},
    institution = uu,
    year = {2001},
    category = {complete,skew},
    note = {Accepted for IPL}
    }
</pre>

<hr> 
<pre>
@misc{HH:disc,
     author = {J. Hage and T. Harju},
     title = {Discussions in a cafeteria},
     year = {1996 -- 2000}
     }
</pre>

<hr> 
<pre>
@techreport{HH:critical,
    author = {J. Hage and T. Harju},
    title = {A characterization of acyclic switching classes using forbidden subgraphs},
    institution = ludocs,
    year = {2000},
    number = {5},
    category = {complete},
    note = {Submitted to Siam J. Disc. Math.}
    }
</pre>

<hr> 
<pre>
@inproceedings{EHHR:complex,
    author = {A. Ehrenfeucht and J. Hage and T. Harju and G. Rozenberg},
    title = {Complexity Issues in Switching of Graphs},
    year = {2000},
    category = {complete},
    volume = {1764},
    booktitle = {Theory And Application Of Graph Transformations - TAGT '98},
    editor = {H. Ehrig and G. Engels and H.-J. Kreowski and G. Rozenberg},
    series = lncs,
    publisher = sv,
    address = {Berlin},
    pages = {59--70}
    }
</pre>

<hr> 
<pre>
@article{EHHR:pancyclicity,
    author = {A. Ehrenfeucht and J. Hage and T. Harju and G. Rozenberg},
    title = {Pancyclicity in Switching Classes},
    journal = ipl,
    category = {complete},
    volume = {73},
    number = {5--6},
    year = {2000},
    pages = {153 -- 156}
    }
</pre>

<hr> 
<pre>
@article{HH:sizesrev,
    author = {J. Hage and T. Harju},
    title = {The size of switching classes with skew gains},
    url = {http://www.wi.leidenuniv.nl/TechRep/tr97-02.html},
    journal = dm,
    year = {2000},
    volume = {215},
    pages = {81 -- 92},
    category = {skew}
    }
</pre>

<hr> 
<pre>
@article{H:member,
    author = {J. Hage},
    title = {The membership problem for switching classes with skew gains},
    journal = fi,
    year = {1999},
    volume = {39},
    number = {4},
    pages = {375--387},
    category = {skew},
    notes = {Also Technical Report 98-01.http://www.wi.leidenuniv.nl/TechRep/tr98-01.html}
    }
</pre>

<hr> 
<pre>
@article{HH:acyclicity,
    author = {J. Hage and T. Harju},
    title = {Acyclicity of Switching Classes},
    journal = ejc,
    url = {http://www.wi.leidenuniv.nl/TechRep/tr96-12.html},
    year = {1998},
    category = {complete},
    volume = {19},
    pages = {321--327},
    notes = {Also Techical Report 96-15.}
    }
</pre>

<hr> 
<pre>
@techreport{EHHR:complextr,
    author = {A. Ehrenfeucht and J. Hage and T. Harju and G. Rozenberg},
    title = {Complexity Problems In Switching Classes Of Graphs},
    category = {complete},
    institution = ludocs,
    year = {1997},
    number = {15}
    }
</pre>

<hr> 
<pre>
@techreport{HH:sizes,
    author = {J. Hage and T. Harju},
    title = {The size of 2-classes in group labeled 2-structures},
    url = {http://www.wi.leidenuniv.nl/TechRep/tr96-17.html},
    institution = ludocs,
    year = {1996},
    number = {17},
    category = {skew (complete)},
    note = {Generalized in \cite{HH:sizesrev}}
    }
</pre>

<hr> 
<pre>
@techreport{JH:reversible,
    title = {ARL and PR2, reversible languages},
    year = {1994},
    author = {J. Hage},
    institution = {Leiden University},
    address = {Leiden},
    keywords = {reversible, programming languages, functional, history},
    url = {http://www.wi.leidenuniv.nl/TechRep/hage.html},
    number = {94-25},
    month = aug,
    notes = {Masters Thesis}
    }
</pre>