Traces and logic (1995)

by W Penczek, R Kuiper
Venue:The book of Traces