@techreport{BSM07NASA,
  author =       "R. Butler and R. Siminiceanu and C. Mu{\~{n}}oz",
  title =        "The {ANML}ite Language and Logic for Specifying Planning 
                  Problems",
  institution =  "NASA Langley Research Center",
  year =         "2007",
  type =         "Technical Memorandum",
  number =       "NASA/TM-2007-215088",
  address =      "NASA LaRC, Hampton VA 23681-2199, USA"}