@InProceedings{Blackburn_et_al:1995_2,
AUTHOR = {Blackburn, Patrick and Meyer-Viol, Wilfried and de Rijke, Maarten},
TITLE = {A Proof System for Finite Trees},
YEAR = {1995},
BOOKTITLE = {Computer Science Logic. 9th International Workshop (CSL '95)},
NUMBER = {1092},
PAGES = {86-105},
EDITOR = {Kleine Büning, H.},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Berlin},
PUBLISHER = {Springer}
}
|
