Bibtex references to DAWGs and FSA

@Book{aho74:_desig,
  author = {A. V. Aho and J. E. Hopcroft and J. D. Ullman},
  title = {The Design and Analysis of Computer Algorithms},
  publisher = {Addison-Wesley Publishing Company},
  year = 1974
}

@Article{bird94:_one_level_phonol,
  author = {Steven Bird and T. Mark Ellison},
  title = {One-Level Phonology: Autosegmental Representations and Rules as Finite Automata},
  journal = {Computational Linguistics},
  year = 1994,
  volume = 20,
  number = 1,
  month = {March},
  pages = {55-90}
}

@InProceedings{chanod95:_creat,
  author = {Jean-Pierre Chanod and Pasi Tapanainen},
  title = {Creating a tagset, lexicon and guesser for a French tagger},
  booktitle = {ACL SIGDAT workshop on "From Texts To Tags: Issues in Multilingual Language Analysis"},
  year = 1995,
  organization = {ACL},
  address = {University College Dublin, Ireland},
  pages = {58-64}
}

@Article{daciuk00:_increm,
  author = {Jan   Daciuk and Stoyan   Mihov and Bruce Watson and Richard Watson},
  title = {Incremental Construction of Minimal Acyclic Finite State Automata},
  journal = {Computational Linguistics},
  year = 2000,
  volume = 26,
  number = 1,
  pages = {3--16},
  month = {April}
}

@InProceedings{daciuk98:_increm,
  author = {Jan   Daciuk and Richard E. Watson and Bruce W. Watson},
  title = {Incremental Construction of Acyclic Finite-State Automata and Transducers},
  booktitle = {Finite State Methods in Natural Language Processing},
  crossref = {fsmnlp98}   year = 1998,
  address = {Bilkent University, Ankara, Turkey},
  month = {June -- July}
}

@Proceedings{fsmnlp98,
  title = {Finite State Methods in Natural Language Processing},
  year = 1998,
  editor = {Kemal Oflazer and   Lauri Karttunen},
  address = {Bilkent University, Ankara, Turkey},
  month = {June -- July}
}

@PhdThesis{daciuk98:_thesis,
  author = {Jan Daciuk},
  title = {Incremental Construction of Finite-State Automata and
Transducers, and their Use in the Natural Language Processing},
  school = {Technical University of Gda\´nsk},
  year = 1998,
  annote = {Available from \texttt{www.pg.gda.pl/$\sim$jandac/thesis/thesis.html}}
}

@Article{du92,
  author = {M. W. Du and S. C. Chang},
  title = {A model and a fast algorithm for multiple errors spelling correction},
  journal = {Acta Informatics},
  year = 1992,
  volume = 29,
  number = 3,
  pages = {281-302}
}

@TechReport{gildea94:_autom,
  author = {Dan Gildea and Dan Jurafsky},
  title = {Automatic Induction of Finite State Transducers for Simple Phonological Rules},
  institution = {International Computer Science Institute},
  year = 1994,
  number = {TR-94-052},
  address = {Berkeley, California},
  month = {October}
}

@Book{hopcroft79:_introd,
  author = {John E. Hopcroft and Jefferey D. Ullman},
  title = {Introduction to Automata Theory, Languages, and Computation},
  publisher = {Adison-Wesley Publishing Company},
  year = 1979,
  address = {Reading, Massachusets, USA}
}

@Article{kaplan94:_regul_model,
  author = {Ronald M. Kaplan and Martin Kay},
  title = {Regular Models of Phonological Rule Systems},
  journal = {Computational Linguistics},
  year = 1994,
  volume = 20,
  number = 3,
  month = {September},
  pages = {331--378}
}

@InProceedings{karttunen94:_const_lexic_trans,
  author = {Lauri Karttunen},
  title = {Constructing Lexical Transducers},
  booktitle = {COLING-94},
  year = 1994,
  address = {Kyoto, Japan}
  pages = {406--411}
}

@InCollection{kiraz99:_compr,
  author = {George A. Kiraz},
  title = {Compressed Storage of Sparse Finite-State Transducers},
  booktitle = {Workshop on Implementing Automata WIA99 -- Pre-Proceedings},
  crossref = {wia99},
  year = 1997,
  pages = {XIX-1 -- XIX-31}
}

@InProceedings{koskenniemi83:_two_level,
  author = {Kimmo Koskenniemi},
  title = {Two-Level Model for Morphological Analysis},
  booktitle = {IJCAI-83},
  year = 1983,
  address = {Karlsruhe, Germany},
  pages = {683--685}
}

@InProceedings{koskenniemi84:_gener_comput,
  author = {Kimmo Koskenniemi},
  title = {A General Computational Model for Word-Form Recognition and Production},
  booktitle = {COLING-84},
  year = 1984,
  organization = {Association for Computational Linguistics},
  address = {Stanford University, California, USA},
  pages = {178--181}
}

@InProceedings{kowaltowski93:_applic_finit,
  author = {Tomasz Kowaltowski and Cl\´audio L. Lucchesi and Jorge Stolfi},
  title = {Application of Finite Automata in Debugging Natural Language Vocabularies},
  booktitle = {First South American String Processing Workshop},
  year = 1993,
  address = {Belo Horizonte, Brasil}
}

@InProceedings{kowaltowski93:_minim_binar,
  author = {Tomasz Kowaltowski and Cl\´audio L. Lucchesi and Jorge Stolfi},
  title = {Minimization of Binary Automata},
  booktitle = {First South American String Processing Workshop},
  year = 1993,
  address = {Belo Horizonte, Brasil}
}

@Article{lucchiesi93:_applic,
  author = {Claudio Lucchiesi and Tomasz Kowaltowski},
  title = {Applications of Finite Automata Representing Large Vocabularies},
  journal = {Software Practice and Experience},
  year = 1993,
  volume = 23,
  number = 1,
  pages = {15--30},
  month = {Jan.}
}

@InProceedings{mohri94:_compac_repres,
  author = {Mehryar Mohri},
  title = {Compact Representations by Finite-State Transducers},
  booktitle = {ACL'94},
  year = 1994,
  organization = {Association for Computational Linguistics},
  publisher = {Morgan Kaufmann},
  address = {San Francisco, California}
}

@InProceedings{mohri94:_syntac_anal,
  author = {Mehryar Mohri},
  title = {Syntactic Analysis by Local Grammars Automata: an Efficient Algorithm},
  booktitle = {International Conference on Computational Lexicography (COMPLEX '94)},
  year = {1994},
  address = {Budapest, Hungary}
}

@Article{mohri97:_finit_state_trans,
  author = {Mehryar Mohri},
  title = {Finite-State Transducers in Language and Speech Processing},
  journal = {Computational Linguistics},
  year = 1997,
  volume = 23,
  number = 2,
  month = {June},
  pages = {269--311}
}

@InProceedings{oflazer94:_spell_correc,
  author = {Kemal Oflazer and   Cemalettin G\"uzey},
  title = {Spelling Correction in Agglutinative Languages},
  booktitle = {4th Conference on Applied Natural Language Processing},
  year = 1994,
  address = {Stuttgart, Germany},
  month = {October},
  pages = {194-195}
}

@Article{oflazer96:_error,
  author = {Kemal Oflazer},
  title = {Error-tolerant Finite State Recognition with Applications to Morphological Analysis and Spelling Correction},
  journal = {Computational Linguistics},
  year = 1996,
  volume = 22,
  number = 1,
  month = {March},
  pages = {73--89}
}

@PhdThesis{revuz91:_diction,
  author = {Dominique Revuz},
  title = {Dictionnaires et lexiques: m\´ethodes et algorithmes},
  school = {Institut Blaise Pascal},
  year = 1991,
  address = {Paris, France},
  note = {LITP 91.44}
}

@Book{ritchie92:_comput_morph,
  author = {Graeme D. Ritchie and Graham J. Russell and Alan W. Black and Stephen G. Pulman},
  title = {Computational Morphology},
  publisher = {MIT Press},
  year = 1992,
  series = {Bradford Books},
  address = {Cambridge, Massachusetts, USA}
}

@Article{roche95:_deter,
  author = {Emmanuel Roche and Yves Schabes},
  title = {Deterministic Part-of-Speech Tagging with Finite-State Transducers},
  journal = {Computational Linguistics},
  year = 1995,
  volume = 21,
  number = 2,
  month = {June},
  pages = {227--253}
}

@InProceedings{roche95:_finit_state_,
  author = {Emmanuel Roche},
  title = {Finite-State Tools for Language Processing},
  booktitle = {ACL'95},
  year = 1995,
  organization = {Association for Computational Linguistics},
  note = {Tutorial}
}

@Book{roche97:_finit_state,
  title = {Finite-State Language Processing},
  publisher = {MIT Press},
  year = 1997,
  editor = {Emmanuel Roche and Yves Schabes},
  series = {Bradford Book},
  address = {Cambridge, Massachusetts, USA}
}

@TechReport{schulze94:_decid,
  author = {Bruno Maximilian Schulze and Ulrich Heid and Helmut Schmid and Anne Schiller and Mats Rooth and Gregory Grefenstette and Jean Gaschler and Annie Zaenen and Simone Teufel},
  title = {DECIDE},
  institution = {STR and RXRC},
  year = 1994,
  type = {MLAP-Project 93-19},
  number = {D-1b I},
  month = {November}
}

@InBook{silberztein97:_finit,
  author = {Max Silberztein},
  editor = {Emmanuel Roche and Ives Schabes},
  title = {Finite-State Language Processing},
  chapter = {The Lexical Analysis of Natural Languages},
  publisher = {{MIT} Press},
  year = 1997,
  pages = {175--203}
}

@InCollection{silberztein99:_intex,
  author = {Max Silberztein},
  title = {{INTEX} Tutorial Notes},
  booktitle = {Workshop on Implementing Automata WIA99 -- Pre-Proceedings},
  crossref = {wia99},
  pages = {XIX-1 -- XIX-31},
  year = 1999
}

@Book{sproat92:_morph_comput,
  author = {Richard Sproat},
  title = {Morphology and Computation},
  publisher = {MIT Press},
  year = {1992},
  series = {Bradford Books},
  address = {Cambridge, Massachusetts, USA}
}

@Article{tarjan79:_storin_spars_table,
  author = {Robert Endre Tarjan and Andrew Chi-Chih Yao},
  title = {Storing a Sparse Table},
  journal = Communications of the ACM,
  year = 1979,
  volume = 22,
  number = 11,
  month = {November},
  pages = {606-611}
}

@InProceedings{theron97:_autom_acquis,
  author = {Pieter Theron and Ian Cloete},
  title = {Automatic Acquisition of Two-Level Morphological Rules},
  booktitle = {Fifth Conference on Applied Natural Language Processing},
  year = 1997,
  organization = {Association for Computational Linguistics},
  publisher = {Association for Computational Linguistics},
  address = {Washington, DC, USA},
  month = {April},
  pages = {103-110}
}

@InProceedings{veronis88:_morph_c,
  author = {Jean Veronis},
  title = {Morphosyntactic Correction in Natural Language Interfaces},
  booktitle = {International Conference on Computational Linguistics},
  year = 1988,
  organization = {International Comittee on Computational Linguistics},
  pages = {708-713}
}

@TechReport{watson93:_taxon_c,
  author = {Bruce W. Watson},
  title = {A Taxonomy of Finite Automata Construction Algorithms},
  institution = {Eindhoven University of Technology, The Netherlands},
  year = 1993,
  type = {Computing Science Note},
  number = {93/43}
  issn = "0926-4515"
}

@TechReport{watson93:_taxon_m,
  author = {Bruce W. Watson},
  title = {A Taxonomy of finite automata minimization algorithmes},
  institution = {Eindhoven University of Technology, The Netherlands},
  year = 1993,
  type = {Computing Science Note},
  number = {93/44}
  issn = "0926-4515"
}

@PhdThesis{watson95:_taxon,
  author = {Bruce W. Watson},
  title = {Taxonomies and Toolkits of Regular Language Algorithms},
  school = {Eindhoven University of Technology},
  year = 1995,
  address = {the Netherlands}
}

@techreport{TR-IC-98-02,
  number = {IC-98-02},
  title = {Finite Automata and Efficient Lexicon Implementation},
  author = {Tomasz   Kowaltowski and Cl{\´a}udio L. Lucchesi and Jorge Stolfi},
  month = jan, year = {1998},
  institution = icunicamp,
  pages = {12},
  abstract = {
   We describe a general technique for the encoding of lexical functions
   --- such as lexical classification, gender and number marking,
   inflections and conjugations --- using minimized acyclic finite-state
   automata. This technique has been used to store a Portuguese lexicon
   with over 2 million entries in about 1 megabyte. Unlike general file
   compression schemes, this representation allows random access to the
   stored data. Moreover it allows the lexical functions and their
   inverses to be computed at negligible cost. The technique can be
   easily adapted to practically any language or lexical classification
   scheme, and this task does not require any knowledge of the programs
   or data structures.
  }
}

@Book{mak,
  author = {Michael A. Arbib and A.J. Kfoury and Robert N. Moll},
  title = {Introduction to Formal Language Theory},
  publisher = {Springer Verlag},
  year = 1988,
  address = {New York, New York, USA}
}

@InCollection{mihov98,
  author = {Stoyan Mihov},
  title = {Direct Building of Minimal Automaton for Given List},
  booktitle = {Annuaire de l'Universit\´e de Sofia ``St. Kl. Ohridski''},
  publisher = {Facult\´e de Mathematique et Informatique},
  year = 1998,
  volume = 91,
  address = {Sofia, Bulgaria},
  edition = {livre 1},
  month = {February},
  annote = {available from {\tt www.lml.bas.bg}}
}

@InCollection{mihov98a,
  author = {Stoyan Mihov},
  title = {Direct Construction of Minimal Acyclic Finite States Automata}
  booktitle = {Annuaire de l'Universit\´e de Sofia ``St. Kl. Ohridski''},
  publisher = {Facult\´e de Mathematique et Informatique},
  year = 1998,
  volume = 92,
  address = {Sofia, Bulgaria},
  edition = {livre 2},
  month = {November},
  annote = {available from {\tt www.lml.bas.bg}}
}

@Article{sgarbas95:_two,
  author = {K. Sgarbas and N. Fakotakis and G. Kokkinakis},
  title = {Two Algorithms for incremental construction of Directed Acyclic Word Graphs},
  journal = {International Journal on Artificial Intelligence Tools, World Scientific},
  year = 1995,
  volume = 4,
  number = 3,
  pages = {369--381}
}

@Article{aoe92:_algor,
  author = {J. Aoe and K. Morimoto and M. Hase},
  title = {An Algorithm for Compressing Common Suffixes Used in Trie Structures},
  journal = {Trans. IEICE},
  year = 1992
}

@InProceedings{watson98:_fast,
  author = {Bruce Watson},
  title = {A Fast New (Semi-Incremental) Algorithm for the Construction of Minimal Acyclic DFAs},
  booktitle = {Third Workshop on Implementing Automata},
  pages = {91--98},
  year = 1998,
  address = {Rouen, France},
  month = {September},
  publisher = {Lecture Notes in Computer Science}
}

@BOOK{wood,
  title = "Theory of Computation",
  author = "Derick Wood",
  publisher = "Harper \& Row",
  year = "1987"
}

@BOOK{beckman:book,
  title = "Mathematical Foundations of Programming",
  author = "F.S. Beckman",
  publisher = "Addison-Wesley",
  year = "1980"
}

@ARTICLE{brz:constr,
  title = "Derivatives of regular expressions",
  author = {Janusz A. Brzozowski},
  journal = "Journal of the {ACM}",
  volume = "11",
  number = "4",
  pages = "481--494",
  year = "1964"
}

@INPROCEEDINGS{brz:min,
  crossref = "MRI",
  title = "Canonical regular expressions and minimal state graphs for definite events",
  author = {Janusz A. Brzozowski},
  pages = "529--561"
}

@BOOK{brzseg:book,
  title = "Asynchronous Circuits",
  author = {Janusz A. Brzozowski and Carl-Johan Seger},
  publisher = "Springer-Verlag",
  year = "1995"
}

@ARTICLE{gries:hopmin,
  title = "Describing an Algorithm by {H}opcroft",
  author = "David Gries",
  journal = "Acta Informatica",
  volume = "2",
  pages = "97--109",
  year = "1973"
}

@INPROCEEDINGS{johnson-etc:subset,
  crossref = "wia96",
  title = "Instruction computation in subset construction",
  author = "J. Howard Johnson and Derick Wood",
  pages = "64--71",
  year = "1996"
}

@ARTICLE{kameda-etc:min,
  title = "On the state minimization of nondeterministic finite automata",
  author = "Tiko Kameda and P. Weiner",
  journal = "IEEE Transactions on Computers",
  volume = "C-19",
  number = "7",
  pages = "617--627",
  year = "1970"
}

@ARTICLE{mirkin:min,
  title = "On dual automata",
  author = "B.G. Mirkin",
  journal = "Kibernetica",
  volume = "2",
  number = "1",
  pages = "7--10",
  year = "1966"
}

@TECHREPORT{rawo:grail,
  title = "Grail: Engineering Automata in {C}++",
  author = "Darrell Raymond and Derick Wood",
  institution = "Hong Kong University of Science and Technology",
  number = "HKUST-CS96-24",
  year = "1996"
}

@BOOK{vds:book,
  title = "What computing is all about",
  author = "Jan L.A. van de Snepscheut",
  publisher = "Springer-Verlag",
  year = "1993"
}

@PHDTHESIS{vds:thesis,
  title = "Trace Theory and {VLSI} Design",
  author = "Jan L.A. van de Snepscheut",
  school = "Eindhoven University of Technology",
  year = "1985",
  series = "Lecture Notes in Computer Science",
  volume = "200",
  publisher = "Springer-Verlag"
}

@BOOK{gonnet-baeza-yates:handbook,
  title = "Handbook of Algorithms and Data Structures (In Pascal and C)",
  author = "Gaston H. Gonnet and Ricardo Baeza-Yates",
  publisher = "Addison-Wesley",
  edition = "Second",
  year = "1991"
}

@PHDTHESIS{baeza-yates:thesis,
  title = "Efficient Text Searching",
  author = "Ricardo Baeza-Yates",
  school = "Computer Science, University of Waterloo",
  year = "1989",
  month = may
}

@ARTICLE{fr:trie-memory,
  title = "Trie memory",
  author = "E. Fredkin",
  journal = "Communications of the {ACM}",
  volume = "3",
  number = "9",
  year = "1960",
  pages = "490-499"
}

A NAME="aho:pattern-matching-open"> @INBOOK{aho:pattern-matching-open,
  crossref = "book:book",
  title = "Pattern matching in strings",
  author = "Alfred V. Aho",
  pages = "325--347"
}

@INBOOK{aho:pattern-matching-overview,
  crossref = "handbook-tcs-a",
  title = "Algorithms for finding patterns in strings",
  author = "Alfred V. Aho",
  pages = "257--300"
}

@INPROCEEDINGS{aho-ganapathi:tree,
  crossref = "popl85",
  title = "Efficient tree pattern matching: an aid to code generation",
  booktitle = "Proceedings of the Twelfth {ACM} Symposium on Principles of Programming Languages",
  author = "Alfred V. Aho and Mahadevan Ganapathi",
  pages = "334--340"
}

@BOOK{crochemore:book,
  title = "Text Algorithms",
  author = "Maxime A. Crochemore and W. Rytter",
  publisher = "Oxford University Press",
  year = "1994"
}

@INPROCEEDINGS{cw:icalp,
  crossref = "icalp79",
  title = "A string matching algorithm fast on the average",
  author = "Barbara Commentz-Walter",
  booktitle = "Proceedings of the Sixth International Colloquium on Automata, Languages and Programming",
  pages = "118--131"
}

@TECHREPORT{cw:techreport,
  title = "A string matching algorithm fast on the average",
  author = "Barbara Commentz-Walter",
  institution = "IBM Heidelberg Scientific Center",
  number = "79.09.007",
  year = "1979"
}

@ARTICLE{crochemore-ipl,
  title = "Fast practical multi-pattern matching",
  author = "Maxime A. Crochemore and A. Czumaj and L. G{\c{a}}sieniec and Thierry Lecroq and T. Plandowski and W. Rytter",
  journal = "Information Processing Letters",
  volume = "71",
  year = "1999",
  pages = "3--4"
}

@ARTICLE{knuth-morris-pratt,
  title = "Fast pattern matching in strings",
  author = "Donald E. Knuth and J.H. Morris and Vaughan R. Pratt",
  journal = "SIAM Journal of Computing",
  volume = "6",
  number = "2",
  year = "1977",
  pages = "323--350"
}

@ARTICLE{boyer-moore,
  title = "A fast string searching algorithm",
  author = "Robert S. Boyer and J. Strother Moore",
  journal = "Communications of the ACM",
  volume = "20",
  number = "10",
  year = "1977",
  pages = "62--72"
}

@ARTICLE{aho-corasick,
  title = "Efficient string matching: an aid to bibliographic search",
  author = "Alfred V. Aho and Margaret J. Corasick",
  journal = "Communications of the ACM",
  volume = "18",
  number = "6",
  year = "1975",
  pages = "333--340"
}

@BOOK{new-dragon,
  author = {Alfred V. Aho and Ravi Sethi and Jeffrey D. Ullman},
  title = "Compilers: Principles, Techniques and Tools",
  publisher = "Addison-Wesley",
  year = "1988"
}

@ARTICLE{hume-sunday,
  title = "Fast string searching",
  author = "S.C. Hume and D. Sunday",
  journal = "Software --- Practice and Experience",
  volume = "21",
  number = "11",
  year = "1991",
  pages = "1221--1248"
}

@ARTICLE{revuz:madfa-tcs,
  title = "Minimisation of acyclic deterministic automata in linear time",
  author = "Dominique Revuz",
  journal = "Theoretical Computer Science",
  volume = "92",
  year = "1992",
  pages = "181--189"
}

@PHDTHESIS{mihov:phd,
  title = "Direct Building of Minimal Automaton for Given List",
  author = "Stoyan Mihov",
  school = "Bulgarian Academy of Science",
  year = "1999"
}

@INBOOK{zwaan:sublinear-fka-chapter,
  crossref = "fka-liber",
  title = "Sublinear pattern matching",
  author = "Gerard Zwaan",
  pages = "335--350"
}

@TECHREPORT{wa:eb-techreport,
  title = "The design of the {C}-{P}rocessor instruction set architecture",
  author = "Bruce W. Watson",
  institution = "Digital Engineering Eindhoven University of Technology",
  year = "1990"
}

@ARTICLE{wa:eb-jnl,
  title = "Compilation techniques for a high-level language processor",
  author = "Bruce W. Watson and Willem-Jan Withagen and Mario P.J. Stevens",
  journal = "Journal of Microprocessing and Microprogramming",
  volume = "32",
  number = "1--5",
  pages = "29--36"
}

@TECHREPORT{wazw:taxonomy-techreport,
  title = "A taxonomy of keyword pattern matching algorithms",
  author = "Bruce W. Watson and Gerard Zwaan",
  institution = "Eindhoven University of Technology",
  year = "1992",
  number = "27",
  issn = "0926-4515"
}

@INPROCEEDINGS{wazw:taxonomy-csn,
  crossref = "csn93",
  title = "A taxonomy of keyword pattern matching algorithms",
  booktitle = "Proceedings of the Symposium on Computing Science in the Netherlands",
  author = "Bruce W. Watson and Gerard Zwaan",
  pages = "25--39",
  notes = "Best Paper Award"
}

@TECHREPORT{wa:constax-techreport,
  title = "A taxonomy of finite automata construction algorithms",
  author = "Bruce W. Watson",
  institution = "Eindhoven University of Technology",
  year = "1993",
  number = "43",
  issn = "0926-4515"
}

@TECHREPORT{wa:mintax-techreport,
  title = "A taxonomy of deterministic finite automata minimization algorithms",
  author = "Bruce W. Watson",
  institution = "Eindhoven University of Technology",
  year = "1993",
  number = "44",
  issn = "0926-4515"
}

@TECHREPORT{wa:pattperf-techreport,
  title = "The performance of single-keyword and multiple-keyword pattern matching algorithms",
  author = "Bruce W. Watson",
  institution = "Eindhoven University of Technology",
  year = "1994",
  number = "19",
  issn = "0926-4515"
}

@TECHREPORT{wa:fire-intro-techreport,
  title = "An introduction to the {FIRE} {E}ngine: A {C}++ toolkit for {FI}nite automata and {R}egular {E}xpressions",
  author = "Bruce W. Watson",
  institution = "Eindhoven University of Technology",
  year = "1994",
  number = "21",
  issn = "0926-4515"
}

@TECHREPORT{wa:fire-design-techreport,
  title = "The design of the {FIRE} {E}ngine: A {C}++ toolkit for {FI}nite automata and {R}egular {E}xpressions",
  author = "Bruce W. Watson",
  institution = "Eindhoven University of Technology",
  year = "1994",
  number = "22",
  issn = "0926-4515"
}

@TECHREPORT{ww:techreport,
  title = "A {B}oyer-{M}oore type algorithm for regular expression pattern matching",
  author = "Bruce W. Watson and Richard E. Watson",
  institution = "Eindhoven University of Technology",
  year = "1994",
  number = "31",
  issn = "0926-4515"
}

@TECHREPORT{wazw:sublinear-techreport,
  title = "A taxonomy of sublinear keyword pattern matching algorithms",
  author = "Bruce W. Watson and Gerard Zwaan",
  institution = "Eindhoven University of Technology",
  year = "1995",
  number = "13",
  issn = "0926-4515"
}

@INPROCEEDINGS{wa:saicsit-invited,
  crossref = "saicsit95",
  title = "Trends in compiler construction",
  booktitle = "Proceedings of the SAICSIT Symposium",
  author = "Bruce W. Watson",
  pages = "3--12"
}

@PHDTHESIS{wa:thesis,
  author = "Bruce W. Watson",
  title = "Taxonomies and Toolkits of Regular Language Algorithms",
  school = "Eindhoven University of Technology",
  year = "1995",
  month = sep,
  isbn = "90-386-0396-7"
}

@INBOOK{wa:ww-tree-chapter,
  crossref = "fka-liber",
  title = "A Boyer-Moore (or Watson-Watson) type algorithm for regular tree pattern matching",
  author = "Bruce W. Watson",
  pages = "315--320"
}

@ARTICLE{wazw:sublinear-socp,
  title = "A taxonomy of sublinear multiple keyword pattern matching algorithms",
  author = "Bruce W. Watson and Gerard Zwaan",
  journal = "Science of Computer Programming",
  volume = "27",
  number = "2",
  year = "1996",
  pages = "85--118"
}

@ARTICLE{wa:jnle-journal,
  title = "Implementing and Using Finite Automata Toolkits",
  author = "Bruce W. Watson",
  journal = "Journal of Natural Language Engineering",
  volume = "2",
  number = "4",
  year = "1996",
  month = dec,
  pages = "295--302"
}

@INPROCEEDINGS{wa:pattperf-wsp96,
  crossref = "wsp96",
  title = "The Performance of Single and Multiple Keyword Pattern Matching Algorithms",
  author = "Bruce W. Watson",
  booktitle = "Proceedings of the Third South American Workshop on String Processing",
  pages = "280--294"
}

@INPROCEEDINGS{wa:toolkits-ecai96,
  crossref = "ecai96",
  title = "Implementing and Using Finite Automata Toolkits",
  author = "Bruce W. Watson",
  booktitle = "Proceedings of the Twelfth European Conference on Artificial Intelligence",
  pages = "97--100"
}

@INPROCEEDINGS{wa:rgpm-pscw96,
  crossref = "pscw96",
  title = "A Collection of New Regular Grammar Pattern Matching Algorithms",
  author = "Bruce W. Watson",
  booktitle = "Proceedings of the First Prague Stringologic Club Workshop",
  pages = "64--83"
}

@INPROCEEDINGS{wa:firelite-wia96,
  crossref = "wia96",
  author = "Bruce W. Watson",
  title = "The {FIRE L}ite: {FA}s and {RE}s in {C}++",
  booktitle = "Proceedings of the First Workshop on Implementing Automata",
  pages = "167--188"
}

@INPROCEEDINGS{wa:rgpm-esa96,
  crossref = "esa96",
  title = "A New Regular Grammar Pattern Matching Algorithm",
  author = "Bruce W. Watson",
  booktitle = "Proceedings of the European Symposium on Algorithms",
  pages = "364--377"
}

@TECHREPORT{wa:spare-rss-techreport,
  title = "A New Family of String Pattern Matching Algorithms",
  author = "Bruce W. Watson",
  institution = "{IST} Technologies Research Group, Ribbit Software Systems Inc.",
  year = "1997",
  number = "97-1"
}

@TECHREPORT{wa:spare-rss-techreport,
  title = "The {SPARE} {P}arts: A {C}++ Toolkit for {S}tring {PA}ttern {RE}cognition",
  author = "Bruce W. Watson",
  institution = "{IST} Technologies Research Group, Ribbit Software Systems Inc.",
  year = "1997",
  number = "97-2"
}

@INPROCEEDINGS{wa:automata-optimizations-wia97,
  crossref = "wia97",
  author = "Bruce W. Watson",
  title = "Practical Optimizations for Automata",
  booktitle = "Proceedings of the Second Workshop on Implementing Automata",
  pages = "232--240"
}

@INPROCEEDINGS{wa:new-kpm-pscw97,
  crossref = "pscw97",
  author = "Bruce W. Watson",
  title = "A New Family of String Pattern Matching Algorithms",
  booktitle = "Proceedings of the Second Prague Stringologic Club Workshop",
  pages = "12--23"
}

@INPROCEEDINGS{wa:ww-pscw97,
  crossref = "pscw97",
  author = "Bruce W. Watson",
  title = "A {B}oyer-{M}oore (or {W}atson-{W}atson) Type Algorithm for Regular Tree Pattern Matching",
  booktitle = "Proceedings of the Second Prague Stringologic Club Workshop",
  pages = "33--38"
}

@INPROCEEDINGS{wa:spare-pscw97,
  crossref = "pscw97",
  author = "Bruce W. Watson",
  title = "{SPARE} {P}arts: A {C}++ Toolkit for {S}tring {PA}ttern {RE}cognition",
  booktitle = "Proceedings of the Second Prague Stringologic Club Workshop",
  pages = "47--60"
}

@INPROCEEDINGS{wa:early-retirment-pscw98,
  crossref = "pscw98",
  author = "Bruce W. Watson",
  title = "An Early-Retirement Plan for the States",
  booktitle = "Proceedings of the Third Prague Stringologic Club Workshop",
  pages = "119--124"
}

@INPROCEEDINGS{wa:of-iccpol99,
  crossref = "iccpol99",
  title = "The {O}pen{FIRE} Initiative",
  author = "Bruce W. Watson",
  booktitle = "Proceedings of the International Conference on Computer Processing of Oriental Languages",
  pages = "421--424"
}

@INPROCEEDINGS{wa:madfatax-wia99,
  crossref = "wia99",
  title = "A taxonomy of algorithms for constructing minimal acyclic deterministic automata",
  author = "Bruce W. Watson",
  booktitle = "Proceedings of the Fourth Workshop on Implementing Automata"
}

@INBOOK{wa:toolkits-chapter,
  crossref = "kornai-book",
  title = "Implementing and Using Finite Automata Toolkits",
  author = "Bruce W. Watson"
}

@INPROCEEDINGS{wa:teaching-compilers-sacla2000,
  crossref = "sacla2000",
  title = "A New Approach to Teaching Compiler and Interpreter Construction",
  author = "Bruce W. Watson",
  booktitle = "Proceedings of the South African Computer Lecturers Association Annual Conference"
}

@INPROCEEDINGS{wa:brzcombi-icia2000,
  crossref = "icia2000",
  title = "Combining Two Algorithms by Brzozowski",
  author = "Bruce W. Watson",
  booktitle = "Proceedings of the Fifth International Conference on Implementing Automata"
}

@INPROCEEDINGS{wa:newcw-pscw2000,
  crossref = "pscw2000",
  title = "A new family of Commentz-Walter-style multiple-keyword pattern matching algorithms",
  author = "Bruce W. Watson",
  booktitle = "Proceedings of the Fifth Prague Stringology Workshop"
}

@INBOOK{wa:paun-chapter,
  crossref = "paun-book",
  title = "A new recursive algorithm for building minimal acyclic deterministic finite automata",
  author = "Bruce W. Watson"
}

@ARTICLE{wa:brzhist-ipl,
  title = "A History of {B}rzozowski's {DFA} Minimization Algorithm",
  author = "Bruce W. Watson",
  journal = "submitted to Information Processing Letters",
  year = "2001"
}

@PROCEEDINGS{MRI,
  title = "Mathematical Theory of Automata",
  publisher = "Polytechnic Press",
  address = "Polytechnic Institute of Brooklyn",
  year = "1962",
  series = "{MRI} Symposia Series",
  volume = "12"
}

@PROCEEDINGS{icalp79,
  title = "Proceedings of the Sixth International Colloquium on Automata, Languages and Programming",
  year = "1979",
  editor = "H.A. Maurer",
  publisher = "Springer-Verlag"
}

@BOOK{book:book,
  title = "Formal Language Theory: Perspectives and Open Problems",
  editor = "Ronald V. Book",
  publisher = "Academic Press",
  year = "1980"
}

@PROCEEDINGS{popl85,
  title = "Proceedings of the Twelfth {ACM} Symposium on Principles of Programming Languages",
  address = "New Orleans, USA",
  year = "1985"
}

@BOOK{handbook-tcs-a,
  title = "Handbook of Theoretical Computer Science",
  volume = "A",
  editor = "Jan van Leeuwen",
  publisher = "North-Holland",
  year = "1990"
}

@PROCEEDINGS{csn93,
  title = "Proceedings of the Symposium on Computing Science in the Netherlands",
  editor = "Harry Wijshoff",
  year = "1993",
  month = nov,
  address = "Utrecht, The Netherlands",
  isbn = "90-6196-430X"
}

@PROCEEDINGS{saicsit95,
  title = "Proceedings of the Symposium of the South African Institute for Computer Scientists and Information Technologists",
  editor = "A. Lerine Steenkamp",
  year = "1995",
  month = may,
  address = "Pretoria, South Africa",
  publisher = "University of South Africa Press",
  isbn = "0-86981-909-7"
}

@BOOK{fka-liber,
  title = "Simplex Sigillum Veri: Een Liber Amicorum voor prof.dr. {F.E.J.} {K}ruseman {A}retz",
  editor = "E.H.L. Aarts and H.M.M. ten Eikelder and C. Hemerik and M. Rem",
  publisher = "Eindhoven University of Technology",
  year = "1995",
  isbn = "90-386-0197-2"
}

@PROCEEDINGS{wsp96,
  title = "Proceedings of the Third South American Workshop on String Processing",
  editor = "Nivio Ziviani and Ricardo Baeza-Yates and Katia Guimaraes",
  year = "1996",
  month = aug,
  address = "Recife, Brazil",
  publisher = "Carleton University Press",
  series = "International Informatics Series",
  volume = "4",
  isbn = "0-88629-308-1"
}

@PROCEEDINGS{ecai96,
  title = "Proceedings of the Twelfth European Conference on Artificial Intelligence",
  editor = "Andras Kornai",
  address = "Budapest, Hungary",
  year = "1996",
  month = aug
}

@PROCEEDINGS{pscw96,
  title = "Proceedings of the First Prague Stringology Workshop",
  year = "1996",
  month = aug,
  address = "Prague, Czech Republic",
  editor = "Jan Holub",
  publisher = "Czech Technical University"
}

@PROCEEDINGS{wia96,
  title = "Proceedings of the First Workshop on Implementing Automata",
  year = "1996",
  month = aug,
  editor = {Darrell Raymond and Derick Wood and Sheng Yu},
  address = "London, Canada",
  series = "Lecture Notes in Computer Science",
  publisher = "Springer-Verlag",
  volume = "1260",
  isbn = "3-540-63174-7"
}

@PROCEEDINGS{esa96,
  title = "Proceedings of the European Symposium on Algorithms",
  editor = "J. Diaz and M. Serna",
  year = "1996",
  month = sep,
  address = "Barcelona, Spain",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "1136",
  isbn = "3-540-61680-2"
}

@PROCEEDINGS{pscw97,
  title = "Proceedings of the Second Prague Stringology Workshop",
  year = "1997",
  month = jul,
  address = "Prague, Czech Republic",
  editor = "Jan Holub",
  publisher = "Czech Technical University"
}

@PROCEEDINGS{wia97,
  title = "Proceedings of the Second Workshop on Implementing Automata",
  year = "1997",
  month = sep,
  editor = {Derick Wood and Sheng Yu},
  address = "London, Canada",
  series = "Lecture Notes in Computer Science",
  publisher = "Springer-Verlag",
  volume = "1436",
  isbn = "3-540-64694-9"
}

@PROCEEDINGS{fsmnlp98,
  title = "Proceedings of the International Workshop on Finite State Methods in Natural Language Processing",
  year = "1998",
  editor = "Lauri Karttunen and Kemal Oflazer",
  address = "Ankara, Turkey",
  month = jun,
  isbn = "975-7679-34-8"
}

@PROCEEDINGS{wia98,
  title = "Proceedings of the Third Workshop on Implementing Automata",
  year = "1998",
  editor = "Derick Wood and Denis Maurel",
  address = "Rouen, France",
  month = sep,
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "1660"
}

@PROCEEDINGS{pscw98,
  title = "Proceedings of the Third Prague Stringology Workshop",
  year = "1998",
  month = sep,
  address = "Prague, Czech Republic",
  editor = "Jan Holub",
  publisher = "Czech Technical University"
}

@PROCEEDINGS{iccpol99,
  title = "Proceedings of the International Conference on Computer Processing of Oriental Languages",
  address = "Tokushima, Japan",
  year = "1999",
  month = mar,
  volume = 2,
  editor = "Junichi Aoe"
}

@BOOK{kornai-book,
  title = "Extended Finite State Models of Language",
  editor = "Andras Kornai",
  publisher = "Cambridge University Press",
  year = "1999"
}

@PROCEEDINGS{wia99,
  title = "Proceedings of the Fourth Workshop on Implementing Automata",
  year = "1999",
  editor = "Derick Wood and Denis Maurel",
  address = "Potsdam, Germany",
  month = jul,
  publisher = "Springer-Verlag"
}

@PROCEEDINGS{sacla2000,
  title = "Proceedings of the South African Computer Lecturers Association Annual Conference",
  editor = "Stan Shear",
  year = "2000",
  month = jun,
  address = "Cape Town, South Africa"
}

@PROCEEDINGS{icia2000,
  title = "Proceedings of the Fifth International Conference on Implementing Automata",
  year = "2000",
  editor = {Derick Wood and Sheng Yu},
  address = "London, Canada",
  month = jul
}

@PROCEEDINGS{pscw2000,
  title = "Proceedings of the Fifth Prague Stringology Workshop",
  year = "2000",
  month = sep,
  address = "Bratislava, Slovakia",
  editor = "Borivoj Melichar",
  publisher = "Czech Technical University"
}

@BOOK{paun-book,
  title = "???",
  editor = "???",
  publisher = "Kluwer Academic Press",
  year = "2000"
}

@InProceedings{karttunen95:_replace,
  author = {Lauri Karttunen},
  title = {The Replace Operator},
  booktitle = {ACL-95},
  pages = {16--23},
  year = 1995,
  address = {Boston, Massachusetts},
  organization = {Association for Computational Linguistics}
}

@InProceedings{karttunen96:_direc_replac,
  author = {Lauri Karttunen},
  title = {Directed Replacement},
  booktitle = {The Proceedings of the 34rd Annual Meeting of the Association for Computational Linguistics ACL-96},
  year = 1996,
  address = {Santa Cruz, California, USA}
}

@Article{frank98:_optim,
  author = {Robert   Frank and Giorgio Satta},
  title = {Optimality Theory and the Generative Complexity of Constraint Violability},
  journal = {Computational Linguistics},
  year = 1998,
  volume = 24,
  number = 2,
  pages = {307--315},
  month = {June}
}

@InProceedings{karttunen98:_properot,
  author = {Lauri Karttunen},
  title = {The Proper Treatment of Optimality in Computational Phonology},
  booktitle = {Finite State Methods in Natural Language Processing},
  crossref = {fsmnlp98},
  pages = {1--12},
  year = 1998,
  editor = {Kemal Oflazer and Lauri Karttunen},
  address = {Bilkent University, Ankara, Turkey},
  month = {June -- July}
}

@InProceedings{gvn-ot,
  author = {Dale Gerdemann and Gertjan van Noord},
  title = {Approximation and Exactness in Finite State Optimality Theory}   booktitle = {Coling Workshop Finite State Phonology},
  year = 2000,
  address = {Luxembourg}
}

@Proceedings{ciaa2000,
  title = {Fifth International Conference on Implementation and Application of Automata CIAA 2000},
  year = 2000,
  address = {London, Ontario, Canada},
  month = {July}
}

@InProceedings{mihov00:_direct,
  author = {Stoyan Mihov and Denis Maurel},
  title = {Direct Construction of Minimal Acyclic Subsequential Transducers},
  booktitle = {Fifth International Conference on Implementation and Application of Automata CIAA 2000},
  crossref = {ciaa2000},
  pages = {1--1},
  year = 2000,
  address = {London, Ontario, Canada},
  month = {July}
}

@InProceedings{daciuk99:_unwords,
  author = {Jan Daciuk},
  title = {Treatment of Unknown Words},
  booktitle = {proceedings of Workshop on Implementing Automata WIA'99},
  crossref = {wia99},
  pages = {1--1},
  year = 1999,
  address = {Potsdam, Germany},
  month = {July}
}

@InProceedings{kiraz94:_multi,
  author = {George Anton Kiraz},
  title = {Multi-Tape Two-Level Morphology: a Case Study in Semitic Non-linear Morphology},
  booktitle = {Proceedings of the 15th International Conference on Computational Linguistics},
  year = 1994,
  address = {Kyoto, Japan}
}

@InProceedings{oflazer99:_depen_parsin,
  author = {Kemal Oflazer},
  title = {Dependency Parsing with an Extended Finite State Approach},
  booktitle = {Proceedings of the 37th Annual Meeting of the Association for    Computational Linguistics},
  year = 1999,
  address = {Maryland, USA},
  month = {June}
}

@Book{aho-sethi-ullman,
  author = {Alfred V. Aho and Ravi Sethi and Jeffrey D. Ullman},
  title = "Compilers. Principles, Techniques and Tools",
  publisher = "Addison Wesley",
  year = "1986"
}

@TechReport{lexa,
  author = "M. E. Lesk and E. Schmidt",
  title = "{Lex -- a Lexical Analyzer Generator}",
  note = "CS Technical Report No.\ 39",
  year = "1975",
  institution = "Bell Laboratories"
}

@Article{lexb,
  author = "S. C. Johnson and M. E. Lesk",
  title = "Language Development Tools",
  journal = "Bell System Technical Journal",
  volume = "57",
  number = "6",
  year = "1978"
}

@TechReport{grefenstette-tapanainen,
  author = "Gregory   Grefenstette and Pasi   Tapanainen",
  title = "What is a word, What is a sentence? Problems of Tokenization",
  year = "1994",
  institution = "Xerox Research Centre Europe, MLTT",
  number = "MLTT-004"
}

@Book{berstel,
  author = "Jean Berstel",
  title = "Transductions and Context-Free Languages",
  publisher = "Teubner Studienb{\"u}cher, Stuttgart",
  year = "1979"
}

@Article{choffrut,
  author = "Ch. Choffrut",
  title = "Une caract\´erisation des fonctions s\´equentielles et des fonctions sous-s\´equentielles en tant que relations rationelles",
  journal = "Theoretical Computer Science",
  volume = "5",
  pages = "325--338",
  year = "1977"
}

@InCollection{perrin,
  author = "Dominique Perrin",
  title = "Finite Automata",
  booktitle = "Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics",
  editor = "J. van Leeuwen",
  publisher = "Elsevier and the MIT Press",
  pages = "1--57",
  year = "1990"
}

@Article{blattner-head,
  author = {Meera Blattner and Tom Head},
  title = {Single-valued a-transducers},
  journal = {Journal of Computer and System Sciences},
  year = 1977,
  volume = 15,
  number = 3,
  pages = {328--353}, }

@Book{johnson:72,
  author = "C. Douglas Johnson",
  title = "Formal Aspects of Phonological Description",
  publisher = "Mouton",
  address = "The Hague",
  year = "1972"
}

@TechReport{koskenniemi,
  author = "Kimmo Koskenniemi",
  title = "Two-level Morphology: a General Computational Model for Word-form Recognition and Production",
  institution = "Department of General Linguistics, University of    Helsinki",
  year = "1983",
  number = "11"
}

@Article{ritchie,
  author = "Graeme Ritchie and Steve Pulman and Alan Black and Graham Russel",
  title = "A Computational Framework for Lexical Description",
  journal = "Computational Linguistics",
  year = "1987",
  volume = "13",
  number = "3-4"
}

@InProceedings{bear,
  author = "John Bear",
  title = "A Morphological Recognizer with Syntactic and Phonological Rules",
  booktitle = coling86,
  year = "1986",
  address = "Bonn"
}

@Article{mohri-det,
  author = "Mehryar Mohri",
  title = "On some applications of finite-state automata theory to natural language processing",
  journal = "Natural Language Engineering",
  volume = "2",
  year = "1996",
  pages = "61--80",
  note = "Originally appeared in 1994 as Technical Report, institut Gaspard Monge, Paris"
}

@Article{dijkstra,
  author = "E. W. Dijkstra",
  title = "A note on two problems in connexion with graphs",
  journal = "Numerische Mathematik",
  volume = "1",
  pages = "269--271",
  year = "1959"
}

@Book{nilsson71,
  author = "Nils Nilsson",
  title = "Problem Solving Methods in Artificial Intelligence",
  year = "1971",
  publisher = "McGraw-Hill"
}

@Book{algorithms,
  author = "Cormen and Leiserson and Rivest",
  title = "Introduction to Algorithms",
  year = "1990",
  publisher = "MIT Press",
  address = "Cambridge Mass."
}

@InCollection{att-fsm,
  author = {Mehryar Mohri and Fernando C.N. Pereira and Michael Riley},
  title = {A Rational Design for a Weighted Finite-State Transducer Library},
  booktitle = {Automata Implementation. Second International Workshop on Implementing Automata, WIA '97},
  note = {Lecture Notes in Computer Science 1436},
  year = 1998,
  publisher= "Springer Verlag", }

@Article{ruessink,
  author = "Herbert Ruessink",
  title = "Two-level formalisms",
  journal = "Working Papers in Natural Language Processing,   Katholieke Universiteit Leuven, Stichting Taaltechnologie Utrecht"
  year = "1989",
  volume = "5"
}

@InProceedings{kart-fst,
  author = "Lauri Karttunen",
  title = "Finite-state Constraints",
  booktitle = "Proceedings International Conference on Current Issues    in Computational Linguistics",
  address = "Universiti Sains Malaysia, Penang",
  year = "1991"
}

@InProceedings{kiraz:97,
  author = {George Anton Kiraz},
  title = {Compiling   Regular Formalisms with Rule Features into Finite-State Automata},
  booktitle = "33th Annual Meeting of the Association for    Computational Linguistics",
  year = 1997,
  address = {Madrid}
}

@InProceedings{grimley-evans-kiraz-pulman:96,
  author = {Edmund Grimley Evans and George Anton Kiraz and Stephen G. Pulman},
  title = {Compiling a Partition-Based Two-Level Formalism},
  booktitle = "Proceedings of the 16th International Conference on Computational Linguistics (COLING)",
  year = 1996,
  address = {Copenhagen}
}

@InProceedings{mohri-sproat:96,
  author = {Mehryar Mohri and Richard Sproat},
  title = {An Efficient Compiler for Weighted Rewrite Rules},
  booktitle = {34th Annual Meeting of the Association for Computational Linguistics},
  year = 1996,
  address = {Santa Cruz}
}

@InProceedings{KempeKarttunen,
  author = {Andr\´e Kempe and Lauri   KarttunenLauri Karttunen},
  year= {1996},
  title= {Parallel Replacement in the Finite-State Calculus},
  booktitle= {Proceedings of the 16th International Conference on Computational Linguistics (COLING)},
  address= {Copenhagen, Denmark}
}

@Article{kart:regu96,
   Author = {Lauri    Karttunen and Jean-Pierre Chanod and Gregory Grefenstette and Anne Schiller},
   Title = {Regular Expressions for Language Engineering},
   Journal = "Natural Language Engineering",
   Year = 1996,
   Volume = 2,
   Number = 4,
   Pages = "305--238",
   Note = "http://www.rxrc.xerox.com/research/mltt/fst/articles/jnle-97/rele.html"
}

@TechReport{walther,
  author = {Markus Walther},
  title = {One-Level Prosodic Morphology},
  institution = {Instit\"ut f\"ur Germanistische Sprachwissenschaft,
Philipps-Universit\"at Marburg},
  year = {1999},
  type = {MAL - Marburger Arbeiten zur Linguistik},
  number = {MAL-1},
  note = {cs.CL/9911011},
  annote = {see MAL archive at http://www.uni-marburg.de/linguistik/mal/}
}

@Article{bird-ellison,
  author = {Steven Bird and T. Mark Ellison},
  title = {One-Level Phonology: Autosegmental Representations and Rules as Finite Automata},   journal = {Computational Linguistics},
  year = 1994,
  volume = 20,
  number = 1,
  pages = {55--90}
}

@InProceedings{walther-naacl00,
  author = {Markus Walther},
  title = {Finite-State Reduplication in One-Level Prosodic Morphology},
  booktitle = {First Conference of the North American Chapter of the Association for Computational Linguistics},
  year = {2000},
  pages = {296-302},
  address = {Seattle}
}

@InProceedings{walther-sigphon00,
  author = {Markus Walther},
  title = {Temiar Reduplication in One-Level Prosodic Morphology},
  booktitle = {Proceedings of the Fifth Workshop of the ACL Special Interest Group in Computational Phonology},
  pages = {13-21},
  year = 2000,
  address = {Luxembourg},
  month = {August 6th},
  note = {cs.CL/0008015}
}

@Article{kiraz-cl,
  author = {George Anton Kiraz},
  title = {Multitiered Nonlinear Morphology Using Multitape Finite Automata: A Case Study on Syriac and Arabic},
  journal = {Computational Linguistics},
  year = 2000,
  volume = 26,
  number = 1,
  pages = {77--105}
}

@MastersThesis{leslie,
  author = "Ted Leslie",
  title = "Efficient Approaches to Subset Construction",
  school = "Computer Science, University of Waterloo",
  year = "1995"
}

@InCollection{instruction-computation,
  author = "J. Howard Johnson and Derick Wood",
  title = "Instruction Computation in Subset Construction",
  booktitle = "Automata Implementation",
  editor = {Darrell Raymond and Derick Wood and Sheng Yu},
  note = "Lecture Notes in Computer Science 1260",
  year = "1997",
  publisher = "Springer Verlag",
  pages = "64--71"
}

@Article{fsmnlp-cl,
  author = {Gertjan van Noord},
  title = "The Treatment of Epsilon Moves in Subset Construction",
  journal = {Computational Linguistics},
  volume = "26",
  number = "1",
  year = "2000",
  url = {www.let.rug.nl/\~{}vannoord/papers/}
}

@InCollection{hopcroft,
  author = {John E. Hopcroft},
  title = {An $n$ log $n$ algorithm for minimizing the states in a finite automaton},
  booktitle = {The Theory of Machines and Computations},
  year = {1971},
  editor = {Z. Kohavi},
  publisher = {Academic Press},
  pages = {189--196}
}

@InCollection{brzozowski,
author = {J. A. Brzozowski},
title = {Canonical regular expressions and minimal state graphs for definite events},
booktitle = {Mathematical theory of Automata},
note = {Volume 12 of MRI Symposia Series},
pages = {529--561},
publisher = {Polytechnic Press, Polytechnic Institute of Brooklyn, N.Y.},
year = {1962}
}

@InProceedings{kiraz-wia97,
  author = {George Anton Kiraz and Edmund Grimley-Evans},
  title = {Multi-tape Automata for Speech and Language Systems: A Prolog Implementation},
  booktitle = {Automata Implementation. Second Internation Workshop on Implementing Automata, WIA '97},
  editor = {Derick Wood and Sheng Yu},
  publisher = {Springer Lecture Notes in Computer Science 1436},
  pages = {87--103},
  year = {1998}
}

@InProceedings{eisner,
  author = {Jason Eisner},
  title = {Efficient Generation in Primitive Optimality Theory},
  booktitle = {36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics},
  year = 1998
}

@InProceedings{ellison,
  author = {Mark T. Ellison},
  title = {Phonological derivation in optimality theory},
  booktitle = {Proceedings of the 15th International Conference on Computational Linguistics (COLING)},
  pages = {1007--1013},
  year = 1994,
  address = {Kyoto}
}

@inproceedings{black:89,
   author = {A.W. Black},
   title = {Finite State Machines from Feature Grammars},
   pages = {277--285},
   booktitle = {International Workshop on Parsing Technologies},
   address = {Pittsburgh},
   year = 1989
}

@InProceedings{grimley,
  author = {Edmund Grimley Evans},
  title = {Approximating Context-Free Grammars with a Finite-State Calculus},
  booktitle = {35th Annual Meeting of the Association for Computational Linguistics and 8th Conference of the European Chapter of the Association for Computational Linguistics},
  pages = "452--459",
  year = "1997",
  address = "Madrid"
}

@InProceedings{johnson-coling:98,
author = {Mark Johnson},
title = {Finite-state Approximation of Constraint-based Grammars using Left-corner Grammar Transforms},
year = "1998",
booktitle = {{COLING-ACL '98}. 36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics. Proceedings of the Conference},
address = {Montreal}
}

@InProceedings{markjan-fa,
  author = {Mark-Jan Nederhof},
  title = {Regular Approximations of {CFL}s: {A} grammatical view},
  year = {1997},
  booktitle = {International Workshop on Parsing Technologies},
  pages = {159--170},
  addresss = {MIT Cambridge}
}

@InProceedings{nederhof:98,
  author = {Mark-Jan Nederhof},
  title = {Context-free Parsing through regular approximation},
  booktitle = {Finite-state Methods in Natural Language Processing},
  year = {1998},
  address = {Bilkent University, Ankara, Turkey},
  pages = {13--24}
}

@InCollection{pereira-wright,
  author = {Fernando C. N. Pereira and Rebecca N. Wright},
  title = {Finite-State Approximation of Phrase-Structure Grammars},
  booktitle = {Finite-State Language Processing},
  editor = {Emmanuel Roche and Yves Schabes},
  year = {1997},
  publisher = {MIT Press, Cambridge},
  pages = {149--173}
}

@article{ST67,
   author = {R.E. Stearns},
   title = {A Regularity Test for Pushdown Machines},
   journal = {Information and Control},
   volume = {11},
   pages = {323--340},
   year = 1967
}

@article{ullian:67,
   author = {J.S. Ullian},
   title = {Partial Algorithm Problems for Context Free Languages},
   journal = {Information and Control},
   volume = {11},
   pages = {80--101},
   year = {1967}
}

@inproceedings{RO96,
   author = {C.M. Rood},
   title = {Efficient Finite-State Approximation of Context Free Grammars},
   pages = {58--64},
   editor = {A. Kornai},
   booktitle = {Extended Finite State Models of Language},
   series = {Proceedings of the ECAI'96 workshop},
   address = {Budapest University of Economic Sciences, Hungary},
   year = {1996}
}

@article{VA75a,
   author = {L.G. Valiant},
   title = {Regularity and Related Problems for Deterministic Pushdown Automata},
   journal = {Journal of the ACM},
   volume = 22,
   number = 1,
   pages = {1--10},
   year = 1975
}

@Article{nederhof-approx-cl,
  author = {Mark-Jan Nederhof},
  title = {Practical Experiments with Regular Approximation of Context-Free Languages},
  journal = {Computational Linguistics},
  year = 2000,
  volume = 26,
  number = 1,
  pages = {17--44}
}

@InProceedings{revuz00:dyna,
  author = {Dominique Revuz},
  title = {Dynamic Acyclic Minimal Automaton},
  booktitle = {CIAA 2000, Fifth International Conference on Implementation and Application of Automata},
  crossref = {cia2000},
  pages = {226--232},
  year = 2000,
  address = {London, Canada},
  month = {July}
}

@Proceedings{cia2000,
  title = {CIAA 2000, Fifth International Conference on Implementation and Application of Automata},
  year = 2000,
  editor = {M. Dalej, M. G. Eramian, Sheng Yu},
  address = {London, Canada},
  month = {July},
  organization = {University of Western Ontario}, }

@Misc{dotty,
  author = {Eleftherios Koutsofios and Stephen C. North},
  title = {Editing graphs with {\it dotty}},
  address = {{AT&T Bell Laboratories}},
  note = {{\it dotty} User Manual},
  URL = {www.research.att.com:80/sw/tools/graphviz/},
  year = {1994},
}

@InCollection{vcg,
  author = {G. Sander},
  title = {Graph Layout through the {VCG} Tool},
  editor = {R. Tamassia and I. G. Tollis},
  booktitle = {Graph Drawing, DIMACS International Workshop GD '94, Proceedings; Lecture Notes in Computer Science 894},
  pages = {194--205},
  year = {1995},
  publisher = {Springer Verlag},
  URL = {www.cs.uni-sb.de/RW/users/sander/html/gsvcg1.html},
}

@inproceedings{kempe2000b,
  KEY = {},
  AUTHOR = {Andr\'e Kempe},
  TITLE = {Reduction of Intermediate Alphabets in Finite-State Transducer Cascades},
  BOOKTITLE = {Proc. 7th Conf. on Automatic Natural Language Processing   (TALN, Traitement automatique des langues naturelles)},
  SERIES = {},
  YEAR = {2000},
  MONTH = {October},
  VOLUME = {},
  NUMBER = {},
  PAGES = {207-215},
  EDITOR = {},
  ORGANIZATION = {ATALA (Association pour le Traitement Automatique des LAngues)},
  PUBLISHER = {},
  ADDRESS = {Lausanne, Switzerland},
  NOTE = {{\tt cs.CL/0010030}}
}

@inproceedings{kempe2000a,
  KEY = {},
  AUTHOR = {Andr\'e Kempe},
  TITLE = {Factorization of Ambiguous Finite-State Transducers},
  BOOKTITLE = {Pre-Proc. 5th Int. Conf. on Implementation and Application of Automata (CIAA)},
  SERIES = {},
  YEAR = {2000},
  MONTH = {July},
  VOLUME = {},
  NUMBER = {},
  PAGES = {157-164},
  EDITOR = {},
  ORGANIZATION = {ACM SIGACT \& EATCS},
  PUBLISHER = {},
  ADDRESS = {London, Ontario, Canada},
  NOTE = {{\it Final proceedings to appear in Springer Verlag, Lecture Notes in Computer Science}}
}

@inproceedings{kempe1998,
  KEY = {},
  AUTHOR = {Andr\'e Kempe},
  TITLE = {Look-Back and Look-Ahead in the Conversion of Hidden Markov Models into Finite-State Transducers},
  BOOKTITLE = {Proc. 3rd Int. Conf. on New Methods in Natural Language Processing (NeMLaP)},
  SERIES = {},
  YEAR = {1998},
  MONTH = {January},
  VOLUME = {},
  NUMBER = {},
  PAGES = {29-37},
  EDITOR = {},
  ORGANIZATION = {ACL},
  PUBLISHER = {},
  ADDRESS = {Sydney, Australia},
  NOTE = {{\tt cmp-lg/9802001}}
}

@inproceedings{kempe1997,
  KEY = {},
  AUTHOR = {Andr\'e Kempe},
  TITLE = {Finite-State Transducers Approximating Hidden Markov Models},
  BOOKTITLE = {Proc. 35th Annual Meeting of the Association for Computational Linguistics},
  SERIES = {},
  YEAR = {1997},
  MONTH = {July},
  VOLUME = {},
  NUMBER = {},
  PAGES = {460-467},
  EDITOR = {},
  ORGANIZATION = {ACL},
  PUBLISHER = {},
  ADDRESS = {Madrid, Spain},
  NOTE = {{\tt cmp-lg/9707006}}
}

@inproceedings{kempe-karttunen1996,
  KEY = {},
  AUTHOR = {Andr\'e Kempe and Lauri Karttunen},
  TITLE = {},
  BOOKTITLE = {Proc. 16th Int. Conf. on Computational Linguistics (COLING)},
  SERIES = {},
  YEAR = {1996},
  MONTH = {August},
  VOLUME = {2},
  NUMBER = {},
  PAGES = {622-627},
  EDITOR = {},
  ORGANIZATION = {ACL},
  PUBLISHER = {},
  ADDRESS = {Copenhagen, Denmark},
  NOTE = {{\tt cmp-lg/9607007}}
}

@article{langendoen:75,
  author = {D.T. Langendoen},
  title = {Finite-State Parsing of Phrase-Structure Languages and the Status of Readjustment Rules in Grammar},
  journal = {Linguistic Inquiry},
  volume = {6},
  number = {4},
  pages = {533--554},
  year = {1975}
}

@article{krauwer-destombe:81,
   author = {Steven Krauwer and Louis des Tombe},
   title = {Transducers and grammars as theories of language},
   journal = {Theoretical Linguistics},
   volume = 8,
   pages = {173--202},
   year = 1981
}

@Book{gross:89,
  author = {Maurice Gross},
  title = {The use of Finite Automata in the Lexical Representation of Natural Language},
  year = {1989},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer Verlag, Berlin}
}

@InCollection{gross:97,
  author = {Maurice Gross},
  title = {Local Grammars},
  booktitle = {Finite-State Language Processing},
  editor = {Emmanuel Roche and Yves Schabes},
  year = {1997},
  publisher = {MIT Press, Cambridge},
  pages = {330--354},
}

@Book{karlsson-voutilainen-heikkila-anttila,
  author = {Fred Karlsson and Atro Voutilainen and Juha Heikkila and Atro Anttila},
  title = {Constraint Grammar, A Language-independent System for Parsing Unrestricted Text},
  year = {1995},
  publisher = {Mouton de Gruyter}
}

@InCollection{roche:97,
  author = {Emmanuel Roche},
  title = {Parsing with Finite-State Transducers},
  booktitle = {Finite-State Language Processing},
  editor = {Emmanuel Roche and Yves Schabes},
  year = {1997},
  publisher = {MIT Press, Cambridge},
  pages = {241--281}
}

@InCollection{tapanainen:97,
  author = {Pasi Tapanainen},
  title = {Applying a Finite-State Intersection Grammar},
  booktitle = {Finite-State Language Processing},
  editor = {Emmanuel Roche and Yves Schabes},
  year = {1997},
  publisher = {MIT Press, Cambridge},
  pages = {311--327}
}

@InProceedings{voutilainen:93,
  author = {Atro Voutilainen and Pasi Tapanainen},
  title = {Ambiguity Resolution in a Reductionist Parser},
  booktitle = {Sixth Conference of the European Chapter of the Association for Computational Linguistics} ,
  address = {Utrecht},
  year = {1993}
}

@InCollection{voutilainen:97,
  author = {Atro Voutilainen},
  title = {Designing a (Finite-State) Parsing Grammar},
  booktitle = {Finite-State Language Processing},
  editor = {Emmanuel Roche and Yves Schabes},
  year = {1997},
  publisher = {MIT Press, Cambridge},
  pages = {283--310}
}

@InProceedings{abney-cascades,
  author = {Steven Abney},
  title = {Partial Parsing via Finite-State Cascades},
  booktitle = {Workshop on Robust Parsing; Eight European Summer School in Logic, Language and Information},
  pages = {8--15},
  year = 1995,
  editor = {John Carroll}
}

@InCollection{abney:pars91,
  author = {Steven Abney},
  title = {Parsing By Chunks},
  booktitle = {Principle-Based Parsing},
  publisher = {Kluwer Academic Press},
  year = {1991},
  editor = {Robert Berwick and Steven Abney and Carol Tenny},
  address = {Dordrecht}
}

@InCollection{abney-tut,
  author = {Steven Abney},
  title = {Tagging and Partial Parsing},
  booktitle = {Corpus-Based Methods in Language and Speech},
  publisher = {An {ELSNET} volume. Kluwer Academic Publishers},
  year = {1996},
  editor = {Ken Church and Steve Young and Gerrit Bloothooft},
  address= {Dordrecht}
}

@InProceedings{gref,
  author = {Gregory Grefenstette},
  title = {Light Parsing as Finite-State Filtering},
  booktitle = {EACI 1996 Workshop Extended Finite-State Models of Language},
  year = 1996,
  address = {Budapest}
}

@InProceedings{chanod-tapanainen,
  author = {Jean-Pierre Chanod and Pasi Tapanainen},
  year = {1996},
  note = {These proceedings are also available as Cognitive Science Research Paper \#435; School of Cognitive and Computing Sciences, University of Sussex},
  title = {A Robust Finite-State Grammar for {French}},
  booktitle = {Workshop on Robust Parsing},
  editor = {John Carroll},
  address= {Prague} } @Book{karlsson95,
   author = {Fred Karlsson and Atro Voutilainen and Juha Heikkil\"a and Arto Anttila},
<-- \" -->   title = {Constraint Grammar: A Language-Independent Framework for Parsing Unrestricted Text},
  year = {1995},
  publisher = {Mouton de Gruyter},
  address = {Berlin/New York}
}

@InProceedings{oerder-ney,
  author = {Martin Oerder and Hermann Ney},
  title = {Word Graphs: An Efficient Interface Between Continuous-Speech Recognition and Language Understanding},
  booktitle = {ICASSP Volume 2},
  pages = {119--122},
  year = {1993}
}

@InProceedings{mohri-riley-hindle-ljolje-pereira,
  author = {Mehryar Mohri and Michael Riley and Don Hindle and Andrej Ljolje and Fernando Pereira},
  title = {Full expansion of context-dependent networks in large vocabulary speech recognition},
  booktitle = {Proceedings of the International Conference on Acoustics, Speech, and Signal Processing (ICASSP '98)},
  address = {Seattle},
  year = {1998}
}

@Misc{pereira-fst,
  author = {Fernando C. N. Pereira and Michael D. Riley},
  title = {Speech Recognition by Composition of Weighted Finite Automata},
  year = {1996},
  note = {cmp-lg/9603001}
}

@InProceedings{bergeron00:fast,
  author = {A. Bergeron and S. Hamel},
  title = {Fast Implementations of Automata Computations},
  booktitle = {Pre-Proc. 5th Int. Conf. on Implementation and Application of Automata ({CIAA})},
  crossref = {ciaa2000},
  pages = {16--25},
  year = 2000,
  editor = {M. Daley and M. G. Eramian and Sheng Yu},
  address = {the University of Western Ontario, London, Canada},
  month = {July}
}

@InProceedings{gerdemann-vannoord,
  author = {Dale Gerdemann and Gertjan van Noord},
  title = {Transducers from Rewrite Rules with Backreferences},
  booktitle = {Ninth Conference of the European Chapter of the Association for Computational Linguistics},
  year = 1999,
  address = {Bergen, Norway}
}

@InProceedings{GvNDG:wia99,
  author = {Gertjan van Noord and Dale Gerdemann},
  title = {An Extendible Regular Expression Compiler for Finite-state Approaches in Natural Language Processing},
  booktitle = {Workshop on Implementing Automata; WIA99 Pre-Proceedings},
  editor = {O. Boldt and H. Juergensen and L. Robbins},
  year = 1999,
  address = {Potsdam, Germany}
}

@Article{silberztein99:index,
  author = {Max Silberztein},
  title = {Text Indexation with INTEX},
  journal = {Computers and the Humanities},
  year = 1999,
  volume = 33,
  number = 3,
  pages = {265--280}
}

@Article{maurel00:pseudo,
  author = {Denis Maurel},
  title = {Pseudo-minimal transducer},
  journal = {Theoretical Computer Science},
  year = 2000,
  number = 231,
  pages = {129-139}
}

@incollection{MO01,
  author = {M. Mohri and M.-J. Nederhof},
  title = {Regular Approximation of Context-Free Grammars through Transformation.},
  booktitle = {Robustness in Language and Speech Technology},
  editor = {J.-C. Junqua and G. van Noord},
  publisher = {Kluwer Academic Publishers},
  pages = {153--163},
  year = 2001
}

@InBook{yu98_regular,
  author = {Sheng Yu},
  editor = {Grzegorz Rozenberg and A. Salomaa},
  title = {Handbook of Formal Languages},
  chapter = {Regular Languages},
  publisher = {Springer},
  year = 1998,
  volume = 1,
  pages = {41--110}
}

@InProceedings{salomaa97,
  author = {K. Salomaa and X. Wu and Sheng Yu},
  title = {Efficient Implementation of Regular Languages Using r-AFA},
  booktitle = {Second International Workshop on Implementing Automata, WIA'97},
  pages = {176-184},
  year = 1997,
  editor = {Derrick Wood and Sheng Yu},
  number = 1436,
  series = {LNCS},
  publisher = {Springer}
}

@InProceedings{huerter98,
  author = {S. Huerter and K. Salomaa, X. Wu and Sheng Yu},
  title = {Implementing r-AFA Operations},
  booktitle = {Third International Workshop on Implementing Automata, WIA'98},
  pages = {69--81},
  year = 1998,
  editor = {Jean-Marc Champarnaud and Denis Maurel and Djelloul Ziadi},
  number = 1660,
  series = {LNCS},
  address = {Rouen, France},
  month = {September},
  publisher = {Springer Verlag}
}

@InProceedings{campeanu98,
  author = {C. Campeanu and N. Santean and Sheng Yu},
  title = {Minimal Cover-Automata for Finite Languages},
  booktitle = {Third International Workshop on Implementing Automata, WIA'98},
  pages = {43--56},
  year = 1998,
  editor = {Jean-Marc Champarnaud and Denis Maurel and Djelloul Ziadi},
  number = 1660,
  series = {LNCS},
  address = {Rouen, France},
  month = {September},
  publisher = {Springer Verlag}
}

@InProceedings{paun00,
  author = {A. Paun and N. Seatan and Sheng Yu},
  title = {An $O(n^2)$ Algorithm for Constructing Minimal Cover Automata for Finite Languages},
  booktitle = {Fifth International Conference on Implementation and Application of Automata CIAA 2000},
  pages = {233--241},
  year = 2000,
  editor = {M. Dalej and M. G. Eramian and Sheng Yu},
  number = 2088,
  series = {LNCS},
  address = {London, Ontario, Canada},
  month = {July},
  publisher = {Springer Verlag}
}

@Article{Forcada2002,
  author = {Rafael C. Carrasco and Mikel L. Forcada},
  title = {Incremental Construction and Maintenance of Minimal Finite-State Automata},
  journal = {Computational Linguistics},
  year = 2002,
  volume = 28,
  number = 2,
  month = {June},
}

@InProceedings{watson01,
  author = {Bruce Watson},
  title = {An Incremental {DFA} Minimization Algorithm},
  booktitle = {proceedings of FSMNLP 2001, ESSLLI workshop},
  year = 2001,
  editor = {Lauri Karttunen and Kimmo Koskenniemi and Gertjan van Noord},
  address = {Helsinki},
  month = {August},
  note = {Available at \href{http://odur.let.rug.nl/~vannoord/alp/esslli_fsmnlp/watson.pdf}{http://odur.let.rug.nl/\~{}vannoord/alp/esslli\_fsmnlp/watson.pdf}}
}

@InProceedings{campeanu01state,
  author = {C. C\^ampeanu and K. Culik II and Sheng Yu},
  title = {State Complexity of Basic Oprations on Finite Languages},
  booktitle = {Automata Implementation. Proceedings of 4th International Workshop on Implementing Automata, WIA'99},
  pages = {60--70},
  year = 2001,
  editor = {Oliver Boldt and Helmut J\"urgensen (Eds.)},
  series = {LNCS 2214},
  address = {Potsdam, Germany},
  month = {July 1999},
  publisher = {Springer}
}

@InBook{nederhof00_kluwerbook,
  author = {Mark-Jan Nederhof},
  editor = {H. Bunt and A. Nijholt},
  title = {Advances in Probabilistic and other Parsing Technologies},
  chapter = {12, Regular approximation of CFLs: a grammatical view},
  publisher = {Kluwer Academic Publishers},
  year = 2000
}

@Article{thompson68,
  author = {K. Thompson},
  title = {Regular Expression Search Algorithm},
  journal = {Communications of the {ACM}},
  year = 1968,
  volume = 11,
  pages = {419--422}
}

@Article{glushkov60,
  author = {V. M. Glushkov},
  title = {On Synthesis Algorithm for Abstract Automata},
  journal = {Ukr. Mathem. Zhurnal},
  year = 1960,
  volume = 12,
  number = 2,
  pages = {147--156},
  note = {In Russian}
}

@Article{glushkov61,
  author = {V. M. Glushkov},
  title = {The Abstract Theory of Automata},
  journal = {Russian Mathematical Surveys},
  year = 1961,
  volume = 16,
  pages = {1--53}
}

@Article{mcnaughton60,
  author = {R. McNaughton and H. Yamada},
  title = {Regular Expressions and State Graphs for Automata},
  journal = {IEEE Transactions on Electronic Computers},
  year = 1960,
  volume = 9,
  pages = {39--47}
}

@TechReport{champarnaud97,
  author = {J.-M. Champarnaud},
  title = {From a Regular Expression to an Automaton},
  institution = {Laboratoire d'Informatique de Rouen},
  year = 1997,
  number = {LIR-97.08},
  address = {France}
}

@Article{berry86,
  author = {G. Berry and R. Sethi},
  title = {From Regular Expressions to Deterministic Automata},
  journal = {Theoretical Computer Science},
  year = 1986,
  volume = 48,
  pages = {117--126}
}

@Article{champarnaud99,
  author = {J.-M. Champarnaud and J.-L. Ponty and D. Ziadi},
  title = {From regular expressions to finite automata},
  journal = {International Journal of Computer Mathematics},
  year = 1999,
  volume = 72,
  pages = {415--431}
}

@InProceedings{goeman02,
  author = {Heiko Goeman},
  title = {On Minimizing Cover Automata in $\cal{O}(n\cdot{}\log\,n)$ Time},
  booktitle = {Proceedings of the Seventh International Conference on Implementation and Application of Automata},
  pages = {121--130},
  year = 2002,
  editor = {Jean-Marc Champarnaud and Denis Maurel},
  address = {University of Tours, France},
  month = {July}
}

@InProceedings{campeanu02,
  author = {Cezar Campeanu and Andrei Paun},
  title = {The Number of Similarity Relations and the Number of Minimal Deterministic Finite Cover Automata},
  booktitle = {Proceedings of the Seventh International Conference on Implementation and Application of Automata},
  pages = {71--80},
  year = 2002,
  editor = {Jean-Marc Champarnaud and Denis Maurel},
  address = {University of Tours, France},
  month = {July}
}

@Manual{lombardy02,
  title = {Vaucanson. A package for drawing automata. Presentation and user's manual},
  author = {Sylvain Lombardy and Jacques Sakarovitch},
  edition = {0.1},
  month = {May},
  year = 2002,
  annote = {Available at perso.enst.fr/$\sim$lombardy/Vauc/}
}

@InProceedings{daciuk02:compar,
  author = {Jan Daciuk},
  title = {Comparison of Construction Algorithms for Minimal, Acyclic, Deterministic, Finite-State Automata from Sets of Strings},
  booktitle = {Seventh International Conference on Implementation and Application of Automata CIAA '2002},
  year = 2002,
  address = {Tours, France},
  month = {July}
}