Mode checking in (2000)

by M García de la Banda, P J Stuckey, W Harvey, K Marriott
Venue:Proceedings of the First International Conference on Computational Logic, LNCS 1861