Semantic issues in deductive databases and logic programs

収録刊行物

• Formal Techniques in Artificial intelligence : A Sourcebook

  Formal Techniques in Artificial intelligence : A Sourcebook 321-367, 1990

  North-Holland