Formal Verification of Answer Set Programs Containing Advanced Language Constructs.

Zachary Hansen

Browse the full ICLP paper archive.