Michael Codish, Samir Genaim, Harald Sndergaard, Peter J. Stuckey
Browse the full ICLP paper archive.