Integrated AStar with the LogicalExpressions