1. First-order Answer Set Programming as Constructive Proof Search. Issue 3 (10th August 2018) Authors: SCHUBERT, ALEKSY; URZYCZYN, PAWEŁ Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 673 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗