1. Modular Answer Set Programming as a Formal Specification Language. Issue 5 (September 2020) Authors: CABALAR, PEDRO; FANDINNO, JORGE; LIERLER, YULIYA Journal: Theory and practice of logic programming Issue: Volume 20:Issue 5(2020) Page Start: 767 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗