How to check whether given square matrices are congruent?

Let $A$ and $B$ be square nonsingular $n$-by-$n$ matrices with entries being rational or rational Gaussian numbers. We describe a method for verifying whether these matrices are congruent. The method uses a finite number of arithmetic operations (and, in the complex case, conjugation operations).