Bounded Nondeterminism of Logic Programs
A Discrete-Time Quantized-State Hopfield Neural Network
A New Algebraic Tool for Automatic Theorem Provers
On Stratified Belief Base Compilation
Erratum for
Volume Contents