@inproceedings{pinchinat98c,
  author =	 "O. Kushnarenko and S. Pinchinat",
  title =	 "Intensional Approachs for Symbolic Methods",
  volume =	 "18",
  booktitle =	 "Electronic Notes in Theoretical Computer Science",
  year =	 1998,
  page =	 ""
}