DIRL

Definition of DIRL