@phdthesis{Hopfner2008,
  author      = {Marbod Hopfner},
  title       = {Source Code Analysis, Management, and Visualization for PROLOG},
  type        = {doctoralthesis},
  school      = {Universit{\"a}t W{\"u}rzburg},
  year        = {2008},
}