<style face="normal" font="default" size="100%">Using classical resolution method to check derivability for some propositional paralogics and adaptive logics.</style>

Drupal-Biblio