Characterizations of the Stable Semantics by Partial Evaluation.

Stefan Brass, Jrgen Dix

Browse the full LPNMR paper archive.