@proceedings{ijcar04,
  editor    = {David Basin and Micha{\"e}l Rusinowitch},
  title     = {Automated Reasoning: Second International Joint Conference,
   IJCAR 2004, Cork, Ireland, July 4-8, 2004.},
  publisher = {Springer-Verlag},
  series    = {Lecture Notes in Computer Science},
  volume    = {3097},
  year      = {2004}
}