STeLP - A Tool for Temporal Answer Set Programming.

Pedro Cabalar, Martn Diguez

Browse the full LPNMR paper archive.