Robert Nieuwenhuis, Albert Rubio
Basic Superposition is Complete
ESOP, 1992.
@inproceedings{ESOP-1992-NieuwenhuisR, author = "Robert Nieuwenhuis and Albert Rubio", booktitle = "{Proceedings of the Fourth European Symposium on Programming}", doi = "10.1007/3-540-55253-7_22", editor = "Bernd Krieg-Brückner", isbn = "3-540-55253-7", pages = "371--389", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Basic Superposition is Complete}", volume = 582, year = 1992, }