Articles details

  • Classical Negation in NonMonotonic Reasoning and Logic Programming
  • 01 Jan 1998
  • Journal of Automated Reasoning
  • José Júlio Alferes, Luís Moniz Pereira, T. Przymusinski
  • 20
  • 1,2
  • 107 to 142
  • 1 Jan 1998