Marek A. Suchenek
A Syntactic Characterization of Minimal Entailment
ICLP, 1989.
@inproceedings{NACLP-1989-Suchenek, author = "Marek A. Suchenek", booktitle = "{Proceedings of the North American Conference on Logic Programming, 2 Volumes}", isbn = "0-262-62064-2", pages = "81--91", publisher = "{MIT Press}", title = "{A Syntactic Characterization of Minimal Entailment}", year = 1989, }