Termination‚ geometry and invariants
Ursula Martin
Book Title
International Conference on Automated Deduction
Organisation
Springer‚ Berlin‚ Heidelberg
Pages
432–434
Year
1994
Ursula Martin