Trailing Analysis for HAL

Tom Schrijvers, Maria J. García de la Banda, Bart Demoen. Trailing Analysis for HAL. In Peter J. Stuckey, editor, Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings. Volume 2401 of Lecture Notes in Computer Science, pages 38-53, Springer, 2002. [doi]

Authors

Tom Schrijvers

Identified as Tom Schrijvers

Maria J. García de la Banda

This author has not been identified. Look up 'Maria J. García de la Banda' in Google

Bart Demoen

This author has not been identified. Look up 'Bart Demoen' in Google