<style face="normal" font="default" size="100%">A Transformational Approach to Negation in Logic Programming</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">A Transformational Approach to Negation in Logic Programming</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Intensional Negation of Logic Programs: Examples and Implementation Techniques</style>