Cite
APA Citation
COMINI, M., TITOLO, L., VILLANUEVA, A., Leuschel, M., & Schrijvers, T. (2014). abstract Diagnosis for tccp using a Linear Temporal Logic. Theory and practice of logic programming, 14(4), 787–801. http://access.bl.uk/ark:/81055/vdc_100024953529.0x00003f