A transformation system for deductive database modules with perfect model semantics (1993)

by M J Maher
Venue:Theoretical Computer Science