| |
| 2008 | ||
|---|---|---|
| 1 | EE | Paulo Pinheiro da Silva, Geoff Sutcliffe, Cynthia Chang, Li Ding, Nick del Rio, Deborah L. McGuinness: Presenting TSTP Proofs with Inference Web Tools. PAAR/ESHOL 2008 |
| 1 | Cynthia Chang | [1] |
| 2 | Li Ding | [1] |
| 3 | Deborah L. McGuinness | [1] |
| 4 | Paulo Pinheiro da Silva | [1] |
| 5 | Geoff Sutcliffe | [1] |