Nachum Dershowitz, Jieh Hsiang, N. Alan Josephson, David A. Plaisted
Browse the full IJCAI paper archive.