This author has not been identified. Look up 'Witold Charatonik' in GoogleThis author has not been identified. Look up 'David A. McAllester' in GoogleThis author has not been identified. Look up 'Damian Niwinski' in GoogleThis author has not been identified. Look up 'Andreas Podelski' in GoogleThis author has not been identified. Look up 'Igor Walukiewicz' in Google