Article,

Metalevel Negation and Non-Monotonic Reasoning.

, and .
Meth. of Logic in CS, 1 (1): 111- (1994)

Meta data

Tags

Users

  • @dblp

Comments and Reviews