TY  - RPRT
TI  - Checking modes of HAL programs
AU  - Maria Garcia de la Banda
AU  - Warwick Harvey
AU  - Kim Marriott
AU  - Peter J. Stuckey
AU  - Bart Demoen
PY  - 2004
UR  - https://arxiv.org/abs/cs/0409038
ID  - cs/0409038
ER  -