TY - RPRT TI - Automatic Abstraction in Planning AU - Christensen, J. PY - 1991 UR - https://ntrs.nasa.gov/citations/19970034976 ID - 19970034976 ER -