Inproceedings,

Conditional Term Rewriting as a Deductive Database Language.

, and .
Workshop on Deductive Databases, JICSLP, volume CITRI/TR-92-65 of Technical Report, page 126-135. Department of Computer Science, University of Melbourne, (1992)

Meta data

Tags

Users

  • @dblp

Comments and Reviews