Hendrik Decker
On Generalized Cover Axioms
ICLP, 1991.
@inproceedings{ICLP-1991-Decker,
author = "Hendrik Decker",
booktitle = "{Proceedings of the Eighth International Conference on Logic Programming}",
isbn = "0-262-56058-5",
pages = "693--707",
publisher = "{MIT Press}",
title = "{On Generalized Cover Axioms}",
year = 1991,
}