Legal knowledge and information systems JURIX 2012 : the twenty-fifth annual conference - Schafer, Burkard (Frontiers in artificial intelligence and applications, 2012)