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}
}
@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}
}