Cite
APA Citation
CABALAR, P., DIÉGUEZ, M., & VIDAL, C. (2015). an infinitary encoding of temporal equilibrium logic*. Theory and practice of logic programming, 15(4), 666–680. http://access.bl.uk/ark:/81055/vdc_100039326554.0x000030
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
CABALAR, P., DIÉGUEZ, M., & VIDAL, C. (2015). an infinitary encoding of temporal equilibrium logic*. Theory and practice of logic programming, 15(4), 666–680. http://access.bl.uk/ark:/81055/vdc_100039326554.0x000030