%0 Conference Paper %1 conf/lpnmr/Drabent93 %A Drabent, Wlodzimierz %B LPNMR %D 1993 %E Pereira, Luís Moniz %E Nerode, Anil %I MIT Press %K dblp %P 82-98 %T SLS-Resolution without Floundering. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr93.html#Drabent93 %@ 0-262-66083-0

@inproceedings{conf/lpnmr/Drabent93, added-at = {2017-03-20T00:00:00.000+0100}, author = {Drabent, Wlodzimierz}, biburl = {https://www.bibsonomy.org/bibtex/2cd42cdfb560bc5a14d8cb9382e49d303/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/1993}, editor = {Pereira, Luís Moniz and Nerode, Anil}, interhash = {51b3bb3c04d74da67a337f2c37d43030}, intrahash = {cd42cdfb560bc5a14d8cb9382e49d303}, isbn = {0-262-66083-0}, keywords = {dblp}, pages = {82-98}, publisher = {MIT Press}, timestamp = {2017-03-21T11:37:13.000+0100}, title = {SLS-Resolution without Floundering.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr93.html#Drabent93}, year = 1993 }