@InProceedings{Larrosaetal2010LPAR,
  author    = {J. Larrosa and
               A. Oliveras and
               E. Rodr\'{\i}guez-Carbonell},
  title     = {{Semiring-Induced Propositional Logic: Definition and Basic Algorithms}}m
  pages     = {}, 
  booktitle = "16th International Conference on Logic for Programming,
 Artificial Intelligence and Reasoning, LPAR'09", 
  year      = {2010},
  editor    = {E. Clarke
               A. Voronkov},
  series    = {Lecture Notes in Computer Science},
  volume    = {6355},
  publisher = {Springer}
}