τε2asp : Implementing $\mathcal{TE}$ via Answer Set Programming.

Hai Wan, Yu Ma, Zhanhao Xiao, Yuping Shen

Browse the full PRICAI paper archive.