```
[a,b,(-a,-c),(-b,c)]
```

```
[-a,([c,-c],[-b,(a,b)])]
```

```
[[(a,b),-a,-b],[(c,[(a,b),-a]),-b,-c]]
```

This applet implemements the ideas in the following paper.

Implementing Deep Inference in TOM

Presented at the

Download: PDF file

PS file

Bib TeX entry