Login / Signup

Transformation-based bottom-up computation of the well-founded model.

Stefan BrassJürgen DixBurkhard FreitagUlrich Zukowski
Published in: Theory Pract. Log. Program. (2001)
Keyphrases