Nested Sequents
| Title | Nested {S}equents |
| Publication Type | Habilitation Thesis |
| Authors | Brünnler, K |
| Publisher | Universität Bern |
| Place Published | Institut für Informatik und angewandte Mathematik |
| Year of Publication | 2010 |
| Publication Language | eng |
| Type of Work | Habilitationsschrift |
| URL | http://arxiv.org/abs/1004.1845v1 |
| Citation Key | bru10b |
