Witold Charatonik David A. McAllester Damian Niwinski Andreas Podelski Igor Walukiewicz 58-69 1998 LICS db/conf/lics/lics98.html#CharatonikMNPW98