Generating Contours of Integration: An Application of Prolog in Symbolic Computing.

Gbor Belovri, John A. Campbell

Browse the full CADE paper archive.