@inproceedings{Abdulaziz_GN_14,
    address          = {Portsmouth, USA},
    author           = {Abdulaziz, Mohammad and Gretton, Charles and Norrish, Michael},
    booktitle        = {Workshop on Knowledge Engineering for Planning and Scheduling},
    keywords         = {automated planning, upper bounds},
    month            = jun,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8205.pdf},
    slides           = {https://trustworthy.systems/publications/nicta_slides/8205.pdf},
    title            = {Mechanising Theoretical Upper Bounds in Planning},
    year             = {2014}
  }