@comment{{This file has been generated by bib2bib 1.96}}

@comment{{Command line: /usr/bin/bib2bib -c '$key="charatonik94lics" or $key="gilleron93focs" or $key="HJ90:lics" or $key="GTT93:stacs" or $key="AW92:lics" or $key="BGW93:lics" or $key="CharatonikPacholski-focs94" or $key="aiken93cornell" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{ieee = {IEEE}}

@string{springer = {Springer-Verlag}}

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

@inproceedings{CharatonikPacholski-focs94,
  author = {Charatonik, W. and Pacholski, L.},
  title = {Set constraints with projections are in {NEXPTIME}},
  crossref = {focs94},
  pages = {642--653}
}

@techreport{aiken93cornell,
  author = {A. Aiken and  D. Kozen and E. Wimmers},
  title = {Decidability of systems of set constraints with negative
		constraints},
  institution = {Computer Science Department, Cornell University},
  year = {1993},
  type = {Technical Report},
  number = {93-1362}
}

@inproceedings{charatonik94lics,
  author = {W. Charatonik and  L. Pacholski},
  title = {Negative set constraints with equality},
  crossref = {lics94},
  pages = {128--136}
}

@inproceedings{gilleron93focs,
  author = {R{\'e}my Gilleron and Sophie Tison and Marc Tommasi},
  title = {Solving systems of set constraints with negated
                 	subset relationships},
  crossref = {focs93},
  pages = {372--380}
}

@inproceedings{GTT93:stacs,
  author = {R{\'emy} Gilleron and Sophie Tison and Marc Tommasi},
  title = {Solving Systems of Set Constraints using Tree Automata},
  crossref = {stacs93}
}

@inproceedings{BGW93:lics,
  author = { Leo Bachmair and Harald Ganzinger and Uwe Waldmann},
  title = {Set  Constraints are the Monadic Class},
  crossref = {lics93},
  pages = {75--83}
}

@inproceedings{AW92:lics,
  author = {A. Aiken and E. Wimmers},
  title = {Solving Systems of Set Constraints},
  crossref = {lics92},
  pages = {329--340}
}

@inproceedings{HJ90:lics,
  author = {Nevin Heintze and Joxan Jaffar},
  title = {A Decision Procedure for a Class of Set Constraints},
  crossref = {lics90},
  pages = {42--51}
}

@string{lics = {Symposium on Logic in Computer Science}}

@proceedings{focs93,
  booktitle = {Proc. 34th Symposium on Foundations of Computer Science},
  title = {Proc. 34th Symposium on Foundations of Computer Science},
  key = {FOCS93},
  publisher = ieee,
  year = 1993,
  month = nov,
  address = {Palo Alto, CA}
}

@proceedings{focs94,
  booktitle = {Proceedings of the $35^{th}$ Symposium on
                        Foundations of Computer Science},
  title = {Proceedings of the $35^{th}$ Symposium on
                        Foundations of Computer Science},
  key = {FOCS94},
  year = 1994
}

@proceedings{lics90,
  booktitle = {Fifth } # lics,
  title = {Fifth } # lics,
  editor = {John C. Mitchell},
  year = 1990,
  month = jun,
  address = {Philadelphia, PA},
  organization = ieee
}

@proceedings{lics92,
  booktitle = {Seventh } # lics,
  title = {Seventh } # lics,
  editor = {Andre Scedrov},
  year = 1992,
  month = jun,
  address = {Santa Cruz, CA},
  organization = ieee
}

@proceedings{lics93,
  booktitle = {Eigth } # lics,
  title = {Eigth } # lics,
  editor = {Moshe Y. Vardi},
  year = 1993,
  month = jun,
  address = {Montreal, Canada},
  organization = ieee
}

@proceedings{lics94,
  booktitle = {Ninth } # lics,
  title = {Ninth } # lics,
  editor = {Samson Abramsky},
  year = 1994,
  month = jul,
  address = {Paris, France},
  organization = ieee
}

@proceedings{stacs93,
  booktitle = {Symposium on Theoretical Aspects of Computer Science},
  title = {Symposium on Theoretical Aspects of Computer Science},
  editor = {Patrice Enjalbert and Alain Finkel and Klaus W. Wagner},
  series = lncs,
  publisher = springer,
  volume = 665,
  year = 1993,
  month = feb,
  address = {W{\"u}rzburg, Germany}
}