@phdthesis{JunttilaLic,
author = {Junttila, Tommi},
school = {Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science},
title = {Detecting and Exploiting Data Type Symmetries of Algebraic System Nets during Reachability Analysis},
type = {Licentiate's thesis},
year = {1999},
}