The Formula Isomorphism Problem

Manindra Agrawal, Thomas Thierauf. The Formula Isomorphism Problem. SIAM Journal on Computing, 30(3):990-1009, 2000. [doi]

Abstract

Abstract is missing.