Molnár, Vince. “Extensions and Generalization of the Saturation Algorithm in Model Checking.” PhD thesis, Budapest University of Technology and Economics, 2019.

@phdthesis{molnar-vince-phd,
  author = {Moln{\'a}r, Vince},
  title = {Extensions and generalization of the saturation algorithm in model checking},
  school = {Budapest University of Technology and Economics},
  year = {2019},
  type = {PhD thesis}
}