Cite
APA Citation
CABALAR, P., KAMINSKI, R., SCHAUB, T., & SCHUHMANN, A. (2018). temporal Answer Set Programming on Finite Traces. Theory and practice of logic programming, 18(3), 406–420. http://access.bl.uk/ark:/81055/vdc_100067808741.0x00001c