Masahiko Sato. Theory of Judgments and Derivations. In Setsuo Arikawa, Ayumi Shinohara, editors, Progress in Discovery Science, Final Report of the Japanese Discovery Science Project. Volume 2281 of Lecture Notes in Computer Science, pages 78-122, Springer, 2002. [doi]
@inproceedings{Sato02:0,
title = {Theory of Judgments and Derivations},
author = {Masahiko Sato},
year = {2002},
url = {http://link.springer.de/link/service/series/0558/bibs/2281/22810078.htm},
researchr = {https://researchr.org/publication/Sato02%3A0},
cites = {0},
citedby = {0},
pages = {78-122},
booktitle = {Progress in Discovery Science, Final Report of the Japanese Discovery Science Project},
editor = {Setsuo Arikawa and Ayumi Shinohara},
volume = {2281},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-43338-4},
}