Using DP-sr

For basic constructs and execution modes, we refer the user to the I-DLV-sr guide. Details on additional construcs and features will be disclosed soon.