Failure tabled constraint logic programming by interpolation
['Graeme Gange', 'Jorge A. Navas', 'Peter Schachte', 'Harald Søndergaard', 'Peter J. Stuckey']
Failure tabled constraint logic programming by interpolation