Computing Stable Models by Program Transformation.

Jrgen Stuber

Browse the full ICLP paper archive.