Skip to content

Formal Methods for Answer Set Programming.

Amelia Harrison

VenueBICLP
Year2015
ProceedingsICLP (Technical Communications)

Browse the full ICLP paper archive.