We discuss the theoretical design of algorithms for solving distributional conflicts within groups. We consider an algorithm to be procedural if the implementation of the outcome requires the participation of the players, or if it can even be conducted by the players themselves without computational assistance. We compare two procedures for multilateral problems of fair division; both establish envy-freeness, given the possibility of monetary compensations between players