The isomorphism conjecture holds relative to an oracle (1996)

by Stephen Fenner, Lance Fortnow, Stuart A Kurtz
Venue:SIAM Journal on Computing