@Proceedings{E10,
key =  {E10},
          editor     = {Benzm{\"u}ller, Christoph and Fischer, Bernd and Sutcliffe, Geoff},
          Year         = 2006,
          Title        = {Proceedings of the 6th International Workshop on the 
                          Implementation of Logics},
Booktitle        = {Proceedings of the 6th International Workshop on the 
                          Implementation of Logics},
 series =	 {CEUR Workshop  Proceedings},
 publisher = {CEUR-WS.org},
          Place        = {Phnom Penh, Cambodia},
          Volume       = 212,
          ISSN         = {ISSN 1613-0073}
      }