literatur.bib

@Book{KreuzerRobbianoBook1,
  AUTHOR =    {Kreuzer, M. and Robbiano, L.},
  TITLE =     {Computational {C}ommutative {A}lgebra 1},
  PUBLISHER = {Springer-Verlag},
  ADDRESS =   {Berlin},
  YEAR =      {2000},
}


@Book{KreuzerRobbianoBook2,
  AUTHOR =    {Kreuzer, M. and Robbiano, L.},
  YEAR =      {2005},
  TITLE =     {Computational {C}ommutative {A}lgebra 2},
  PUBLISHER = {Springer-Verlag},
  ADDRESS =   {Berlin},
}


@article{satattack,
  author = {Jovanovic, P. and Kreuzer, M.},
  year = {2010},
  title = {{Algebraic Attacks using SAT-Solvers}},
  journal = {{Groups Complexity Cryptology}},
  volume = {2},
  pages = {247–259},
}



@software{apcocoa,
  author       = {{The ApCoCoA Team}},
  title        = {{ApCoCoA: Applied Computations in Commutative Algebra}},
  url          = {https://apcocoa.uni-passau.de},
  year         = {2021}
}