by
Reference:
Analysis of well-formedness and soundness by reduction techniques and their implementation (), Master’s thesis, Technische Universiteit Eindhoven, 2006.
Bibtex Entry:
@MASTERSTHESIS{werf2006,
  AUTHOR =       {Werf, {J.M.E.M. van der}},
  TITLE =        {Analysis of well-formedness and soundness by reduction techniques and their implementation},
  SCHOOL =       {Technische Universiteit Eindhoven},
  YEAR =         {2006},
  note =         {Supervisors: prof.dr. K.M. van Hee, dr. N. Sidorova}
}

Analysis of well-formedness and soundness by reduction techniques and their implementation