%0 Conference Paper %1 conf/ctrs/Dershowitz90 %A Dershowitz, Nachum %B CTRS %D 1990 %E Kaplan, Stéphane %E Okada, Mitsuhiro %I Springer %K dblp %P 14-25 %T A Maximal-Literal Unit Strategy for Horn Clauses. %U http://dblp.uni-trier.de/db/conf/ctrs/ctrs90.html#Dershowitz90 %V 516 %@ 3-540-54317-1

@inproceedings{conf/ctrs/Dershowitz90, added-at = {2017-05-20T00:00:00.000+0200}, author = {Dershowitz, Nachum}, biburl = {https://www.bibsonomy.org/bibtex/2d59bb0485f46d09278453a23d0ac6b6a/dblp}, booktitle = {CTRS}, crossref = {conf/ctrs/1990}, editor = {Kaplan, Stéphane and Okada, Mitsuhiro}, ee = {https://doi.org/10.1007/3-540-54317-1_78}, interhash = {188c86efdef5b4ee058dc8434a9df6d8}, intrahash = {d59bb0485f46d09278453a23d0ac6b6a}, isbn = {3-540-54317-1}, keywords = {dblp}, pages = {14-25}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:12:51.000+0200}, title = {A Maximal-Literal Unit Strategy for Horn Clauses.}, url = {http://dblp.uni-trier.de/db/conf/ctrs/ctrs90.html#Dershowitz90}, volume = 516, year = 1990 }