INPROCEEDINGS{KutsiaMarin09SCSS,
  AUTHOR =       {Temur Kutsia and Mircea Marin},
  TITLE =        {Matching of Order-Sorted Terms with Regular Expression Sorts and Second-Order Variables},
  BOOKTITLE =    {Tunisia-Japan Workshop on Symbolic Computation in Software Science {(SCSS'00)}},
  YEAR =         {2005},
  editor =       {Adel Bouhoula and Tetsuo Ida},
  address =      {Gammarth, Tunisia},
  month =        "22-24 " # sep,
}