Maria J. García de la Banda Warwick Harvey Kim Marriott Peter J. Stuckey Bart Demoen Checking modes of HAL progams. 623-668 2005 5 TPLP 6 http://dx.doi.org/10.1017/S1471068404002327 db/journals/tplp/tplp5.html#BandaHMSD05