Proctor's work on staircase plane partitions yields an enumeration of lozenge
tilings of a halved hexagon on the triangular lattice. Rohatgi recently
extended this tiling enumeration to a halved hexagon with a triangle removed
from the boundary. In this paper we prove a generalization of the results of
Proctor and Rohatgi by enumerating lozenge tilings of a halved hexagon in which
an array of adjacent triangles has been removed from the boundary.Comment: 28 pages. Third version: fixed several typo