BibTeX
@article{reyle93comput,
author = {Uwe Reyle and Dov Gabbay},
title = {Computation with Run-Time-Skolemization. N-PROLOG III},
journal = {Journal of Applied Non-Classical Logics},
year = {1993},
volume = {III, 1}
}
@article{reyle93comput,
author = {Uwe Reyle and Dov Gabbay},
title = {Computation with Run-Time-Skolemization. N-PROLOG III},
journal = {Journal of Applied Non-Classical Logics},
year = {1993},
volume = {III, 1}
}