Vol-3427⫷ Vol-3428 ⫸Vol-3429
urn:nbn:de:0074-3428-0


Vol-3428/paper10⫷Vol-3428/paper11⫸Vol-3428/paper12

Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics