K
[KG96] Orna Kupferman et Orna Grumberg. Buy One, Get One Free!!!. Journal of Logic and Computation 6(4):523-539. Oxford University Press, août 1996.
@article{jlc6(4)-KG,
  author =              {Kupferman, Orna and Grumberg, Orna},
  title =               {Buy One, Get One Free!!!},
  publisher =           {Oxford University Press},
  journal =             {Journal of Logic and Computation},
  volume =              {6},
  number =              {4},
  pages =               {523-539},
  year =                {1996},
  month =               aug,
}
Liste des auteurs