Ellen M Sentovich
Kanwar Jit Singh
Luciano Lavagno
Cho Moon
Rajeev Murgai
Alexander Saldanha
Karma: um ambiente para o aprendizado de síntese de funções Booleanas