BibTeX

@article{reyle94prolog,
  author = {Uwe Reyle and Dov Gabbay},
  title = {N-Prolog: An Extension of Prolog with Hypothecial Implications},
  journal = {Journal of Logic Programming},
  year = {1984},
  volume = {1}
}