BibTeX

@article{gabbay/reyle:1993,
  author = {Gabbay, Dov and Reyle, Uwe},
  title = {Computation with run time skolemisation ({N}-{PROLOG} part 3)},
  journal = {Journal of Applied Non-Classical Logics},
  year = {1993},
  volume = {3},
  pages = {93-128},
  number = {1}
}