Login / Signup

Termination via conditional reductions.

Timothy B. BairdRalph W. Wilkerson
Published in: ACM Conference on Computer Science (1991)
Keyphrases