@misc{indiciae6d7885f2b573,
  title = {Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue)},
  author = {Pierre Deransart and Mireille Ducassé and Gérard Ferrand},
  year = {2007},
  url = {https://arxiv.org/abs/0706.3159},
  note = {Source identifier: 0706.3159}
}