Non-clausal reasoning with propositional definite theories

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/bfb0055921 ◽

1998 ◽

pp. 296-307 ◽

Cited By ~ 3

Author(s):

Zbigniew Stachniak