@electronic{katalog.ub.uni-heidelberg.de,
   title       = {HEIDI-Detailanzeige}, 
   url         = {http://katalog.ub.uni-heidelberg.de/titel/65874283},
   biburl      = {https://puma.uni-kassel.de/url/90beb48e6b0e153d6f72baf7b00fea00/stumme},
   keywords    = {bibliothek bibsonomy dl library},
   added-at    = {2008-01-30T16:13:49.000+0100},
   description = {},
   interhash   = {90beb48e6b0e153d6f72baf7b00fea00}, 
   intrahash   = {90beb48e6b0e153d6f72baf7b00fea00}
}

@electronic{www.computational-logic.org,
   title       = {ICCL}, 
   url         = {http://www.computational-logic.org/content/events/iccl-ss-2005/lectures/horrocks/},
   biburl      = {https://puma.uni-kassel.de/url/50d63a616a6100c9651b87b23c3a7fd0/stumme},
   keywords    = {iccl lecture horrocks summer course dl 2005},
   added-at    = {2006-01-19T17:08:45.000+0100},
   description = {},
   interhash   = {50d63a616a6100c9651b87b23c3a7fd0}, 
   intrahash   = {50d63a616a6100c9651b87b23c3a7fd0}
}