Skip to content

An Answer Set Solver for non-Herbrand Programs: Progress Report.

Marcello Balduccini

VenueBICLP
Year2012
ProceedingsICLP (Technical Communications)

Browse the full ICLP paper archive.