Generating Contours of Integration: An Application of Prolog in Symbolic Computing. - Gábor Belovári; John A. Campbell (CADE, 1980)