Wojciech Penczek, Ruurd Kuiper. Traces and Logic. In Volker Diekert, Grzegorz Rozenberg, editors, The Book of Traces. pages 307-390, World Scientific, 1995. [doi]
@incollection{PenczekK95,
title = {Traces and Logic},
author = {Wojciech Penczek and Ruurd Kuiper},
year = {1995},
doi = {10.1142/9789814261456_0010},
url = {https://doi.org/10.1142/9789814261456_0010},
researchr = {https://researchr.org/publication/PenczekK95},
cites = {0},
citedby = {0},
pages = {307-390},
booktitle = {The Book of Traces},
editor = {Volker Diekert and Grzegorz Rozenberg},
publisher = {World Scientific},
isbn = {978-981-02-2058-7},
}