@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}, }