Wlodzimierz Drabent. SLS-Resolution without Floundering. In LPNMR. pages 82-98, 1993.
@inproceedings{Drabent93, title = {SLS-Resolution without Floundering}, author = {Wlodzimierz Drabent}, year = {1993}, researchr = {https://researchr.org/publication/Drabent93}, cites = {0}, citedby = {0}, pages = {82-98}, booktitle = {LPNMR}, }