@inproceedings{eb92c1ec56214b68a04b7a8fc8c0d256,
title = "LISS - The Logic Inference Search System",
author = "Andrei Voronkov and Stickel, {Mark E}",
year = "1990",
language = "English",
isbn = "3-540-52885-7",
volume = "449",
series = "Lecture Notes in Computer Science",
publisher = "Springer Nature",
pages = "677--678",
editor = "Stickel, {Mark E}",
booktitle = "CADE",
address = "United States",
note = "10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings ; Conference date: 01-01-1824",
url = "http://dblp.uni-trier.de/db/conf/cade/cade90.html#Voronkov90http://dblp.uni-trier.de/rec/bibtex/conf/cade/Voronkov90.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/cade/Voronkov90",
}