An Algorithm for Dual Transformation in First-Order Logic Guilherme BittencourtIsabel Tonin OriginalPaper Pages: 353 - 389