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

Carlo Zaniolo, Domenico Sacc

Browse the full DS paper archive.