Skip to content

Correct Reasoning about Logic Programs.

Jael Kriener

VenueBICLP
Year2011
ProceedingsICLP (Technical Communications)

Browse the full ICLP paper archive.