K.: Mode checking (2000)

by Garcia de la Banda, M Stuckey, P J Harvey, W Marriott
Venue:in HAL. Conference on Computational Logic