Merge pull request #257 from krr-up/t/fix

small fixes

Author: tortinator

krr.bib

@@ -15801,7 +15801,6 @@ @inproceedings{konczak06b
 @phdthesis{konczak06z,
   title = {Preferences in Answer Set Programming},
   author = {K. Konczak},
-  note = {Submitted.},
   school = uofp,
   type = {Dissertation},
   year = {2006}
@@ -24121,7 +24120,7 @@ @article{sturtevant12a
 }
 
 @inproceedings{subpra04a,
-  title = {{N}i{VER}: Non Increasing Variable Elimination Resolution for Preprocessing {SAT} instances},
+  title = {{NiVER}: Non Increasing Variable Elimination Resolution for Preprocessing {SAT} instances},
   author = {S. Subbarayan and D. Pradhan},
   crossref = {sat04},
   pages = {276-291}