Mapping two internal IPs to one public

I am new to netscreen firewalls.  Need some advice.

We have two Citrix servers.  How do I perform this on the netscreen so one public IP maps to both private IPs for internal and external?  Should I use DIP and how to ensure this mapping sticks for users so their sessions use only one or the other server?

Thanks,

Jeff