Marion Mircheva
Logic Programs with Refutation Rules
ICLP, 1994.
@inproceedings{ICLP-1994-Mircheva, author = "Marion Mircheva", booktitle = "{Proceedings of the 11th International Conference on Logic Programming}", isbn = "0-262-72022-1", pages = "734", publisher = "{MIT Press}", title = "{Logic Programs with Refutation Rules}", year = 1994, }