@misc{indiciaec9bc7de98859,
  title = {General Lower Bounds based on Computer Generated Higher Order Expansions},
  author = {Martijn Leisink and Hilbert Kappen},
  year = {2012},
  url = {https://arxiv.org/abs/1301.0581},
  note = {Source identifier: 1301.0581}
}