Nick del Rio

	2008
1		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

Coauthor Index

1	Cynthia Chang	[1]
2	Li Ding	[1]
3	Deborah L. McGuinness	[1]
4	Paulo Pinheiro da Silva	[1]
5	Geoff Sutcliffe	[1]