Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Modular and Incremental Automated Termination ProofsUrbain, XavierJournal of automated reasoning, , Vol.32 (4), p.315-355 [Periódico revisado por pares]Springer VerlagTexto completo disponível |