@misc{indiciae5d2c47dd0a2e,
  title = {CLAIRE: Combining Sets, Search And Rules To Better Express Algorithms},
  author = {Yves Caseau and Francois-Xavier Josset and Francois Laburthe},
  year = {2004},
  url = {https://arxiv.org/abs/cs/0405091},
  note = {Source identifier: cs/0405091}
}