@inproceedings{d27c464b0e1842bc863076f4336913fa,
title = "The use of justification systems for integrated semantics",
author = "\{Bruijn, de\}, N.G.",
year = "1990",
doi = "10.1007/3-540-52335-9\_45",
language = "English",
isbn = "3-540-52335-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "9--24",
editor = "P. Martin-L{\"o}f and G. Mints",
booktitle = "Proceedings of the International Conference on Computer Logic (COLOG-88, Tallinn, UUSR, December 1988)",
address = "Germany",
}