@Book{BaaderLPAR2004,
 title =        {11th International Conference on Logic for Programming,
                 Artificial Intelligence, and Reasoning {LPAR 2004}},
 editor =       {F. Baader and A. Voronkonv},
 publisher =    {Springer-Verlag},
 series =       {Lecture Notes in Artificial Intelligence},
 volume =       {3452},
 address =      {Montevideo, Uruguay},
 year =         2005,
}