@book{DyckGiese2015,
  author    = {Johannes Dyck and Holger Giese},
  title     = {Inductive invariant checking with partial negative application conditions},
  number    = {98},
  isbn      = {978-3-86956-333-6},
  year      = {2015},
}