By Stokes' theorem, the line integral of over
is given by the surface integral of the curl of
over
, where
is the region of intersection of the plane
and the cylinder
with
having positive/upward orientation.
Parameterize by
with and
.
Take the normal vector to to be
The curl of is
Then the line integral is equivalent to