P92-1006 are processed using a standard best-first agenda processing algorithm , where the highest
H92-1025 are processed using a standard best-first agenda processing algorithm , where the highest
hide detail