@inproceedings{Seidl94Least,
  author = {Helmut Seidl},
  title = {Least {S}olutions of {E}quations over $\nu$},
  booktitle = {Automata, Languages and Programming},
  editor = {Serge Abiteboul and Eli Shamir},
  month = {July},
  year = 1994,
  pages = {400-411},
  series = {Lecture Notes in Computer Science},
  volume = {820},
  publisher = {Springer},
  address = {Jerusalem, Israel},
}