H.: The implementation of mazurkiewicz traces in poem (2006)

by P Niebert, Qu
Venue:ATVA. Volume 4218 of Lecture Notes in Computer Science