Robert F. Stärk
A Quantifier-Free Completion of Logic Programs
CSL, 1989.
@inproceedings{CSL-1989-Stark89a, author = "Robert F. Stärk", booktitle = "{Proceedings of the Third Workshop on Computer Science Logic}", doi = "10.1007/3-540-52753-2_53", isbn = "3-540-52753-2", pages = "384--395", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Quantifier-Free Completion of Logic Programs}", volume = 440, year = 1989, }