I'm looking at a booking in Delta One, one-way DUB-xJFK-DEN with two adults and two kids (10 and 8, so not lap infants). The fare conditions say that a child fare is available at 75% the base fare, which is pretty standard for international bookings where child discounts are available.

Of course Delta.com doesn't allow one to specify children in the search parameters (or at least not any way that I have found). Is there a way to price and book this? Does it require a phone call?