Inproceedings,

Rule Rewriting Methods in the Implementation of the Logic Language LDL.

, and .
DS-3, page 457-483. North-Holland, (1988)

Meta data

Tags

Users

  • @dblp

Comments and Reviews