A generalized resolution theorem

From International Center for Computational Logic

Toggle side column

A generalized resolution theorem

Pascal HitzlerPascal Hitzler
Pascal Hitzler
A generalized resolution theorem
Journal of Electrical Engineering, Slovak Academy of Sciences, 55(1--2):25-30, 2004
@article{H2004,
  author  = {Pascal Hitzler},
  title   = {A generalized resolution theorem},
  journal = {Journal of Electrical Engineering, Slovak Academy of Sciences},
  volume  = {55},
  number  = {1--2},
  year    = {2004},
  pages   = {25-30}
}