@INPROCEEDINGS{KutsiaMarin09UNIF,
  AUTHOR =       {Temur Kutsia and Mircea Marin},
  TITLE =        { Order-Sorted Unification with Regular Expression Sorts},
  BOOKTITLE =    {Proceedings of the 23rd International Workshop on Unification {(UNIF'05)}},
  YEAR =         {2009},
  editor =       {Christopher Lynch and Paliath Narendran},
  pages =        {2-16},
  address =      {Montreal, Canada},
  month =        "2 " # aug,
}